Search - Archive ouverte HAL Access content directly

Filter your results

3 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

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

Costs and Rewards in Priced Timed Automata

James Worrell , Mani Swaminathan , Martin Fränzle , Mahsa Shirmohammadi
45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018.125⟩
Conference papers hal-02411534v1