Julian D'Costa

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

Compact Representations

Solving Problems

Datalog Programs

Dynamical Systems

Top Venues

Publications

Julian D'Costa, Joël Ouaknine, James Worrell
Nonnegativity Problems for Matrix Semigroups. STACS (2024)
Julian D'Costa, Joël Ouaknine, James Worrell
Nonnegativity Problems for Matrix Semigroups. CoRR (2023)
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. MFCS (2022)
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. CoRR (2022)
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. MFCS (2022)
Julian D'Costa, Toghrul Karimov, Joël Ouaknine, Mahmoud Salamati, James Worrell
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. CoRR (2022)
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
The Pseudo-Skolem Problem is Decidable. MFCS (2021)
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. MFCS (2021)
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. CoRR (2021)
Julian D'Costa, Engel Lefaucheux, Joël Ouaknine, James Worrell
How Fast Can You Escape a Compact Polytope? STACS (2020)