Search - Archive ouverte HAL Access content directly

Filter your results

5 Results
Image document

What’s decidable about linear loops?

Toghrul Karimov , Engel Lefaucheux , Joel Ouaknine , David Purser , Anton Varonka , et al.
49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022), Jan 2022, Philadelphia, United States. pp.1 - 25, ⟨10.1145/3498727⟩
Conference papers hal-03789796v1
Image document

The boundedness and zero isolation problems for weighted automata over nonnegative rationals

Wojciech Czerwiński , Engel Lefaucheux , Filip Mazowiecki , David Purser , Markus A Whiteland
LICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. ⟨10.1145/3531130⟩
Conference papers hal-03708876v1
Image document

Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications

Christel Baier , Florian Funke , Simon Jantsch , Toghrul Karimov , Engel Lefaucheux , et al.
33rd International Conference on Concurrency Theory (CONCUR 2022), Sep 2022, Varsovie, Poland. ⟨10.4230/LIPIcs.CONCUR.2022.10⟩
Conference papers hal-03789856v1
Image document

Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set

Julian d'Costa , Engel Lefaucheux , Eike Neumann , Joël Ouaknine , James Worrell
47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Aug 2022, Vienna, Austria. pp.14, ⟨10.4230/LIPIcs⟩
Conference papers hal-03712991v1
Image document

Model Checking Linear Dynamical Systems under Floating-point Rounding

Engel Lefaucheux , Joël Ouaknine , David Purser , Mohammadamin Sharifi
Preprints, Working Papers, ... hal-03843471v1