vix.ing · top · new · best · stats · spec

D'Costa, Julian

  1. On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets
    2021/07/05 by D'Costa, Julian, Lefaucheux, Engel, Neumann, Eike +2 · 1 citation
    #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  2. The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems
    2022/04/26 by D'Costa, Julian, Karimov, Toghrul, Majumdar, Rupak +3 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)