Filter your results
- 2
- 1
- 3
- 3
- 2
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
3 Results
|
|
sorted by
|
|
What’s decidable about linear loops?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
|
||
|
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications33rd 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 Automata45th 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
|