Filter your results
- 5
- 4
- 1
- 5
- 5
- 5
- 5
- 5
- 5
- 1
- 1
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
5 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
|
||
|
The boundedness and zero isolation problems for weighted automata over nonnegative rationalsLICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. ⟨10.1145/3531130⟩
Conference papers
hal-03708876v1
|
||
|
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
|
||
|
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Aug 2022, Vienna, Austria. pp.14, ⟨10.4230/LIPIcs⟩
Conference papers
hal-03712991v1
|
||
|
Model Checking Linear Dynamical Systems under Floating-point Rounding2022
Preprints, Working Papers, ...
hal-03843471v1
|