Formal Modeling and Analysis of Timed Systems
19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021.
The 8 full papers that were carefully reviewed and selected from 19...
The 8 full papers that were carefully reviewed and selected from 19...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
53.49 €
Produktdetails
Produktinformationen zu „Formal Modeling and Analysis of Timed Systems “
Klappentext zu „Formal Modeling and Analysis of Timed Systems “
This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021.The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks. The papers focus on topics such as probabilistic computation, logic and verification, robotic planning, complexity of timed pattern matching, safety violations in real-time systems, modal and temporal logics, and others.
Inhaltsverzeichnis zu „Formal Modeling and Analysis of Timed Systems “
Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract).- Temporal Reasoning for Intelligent Financial Services: Examples and Challenges.- On the complexity of timed pattern matching.- Stubborn Set Reduction for Timed Reachability and Safety Games.- Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems.- Closing the Gap between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability.- An Integer Static Analysis for Better Extrapolation in Uppaal.- Explaining Safety Violations in Real-Time Systems.- DiffRNN: Differential verification of Recurrent Neural Networks.- Formal Abstraction and Synthesis of Parametric Stochastic Processes.
Bibliographische Angaben
- 2021, 1st ed. 2021, XI, 155 Seiten, 23 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Catalin Dima, Mahsa Shirmohammadi
- Verlag: Springer, Berlin
- ISBN-10: 3030850366
- ISBN-13: 9783030850364
- Erscheinungsdatum: 28.07.2021
Sprache:
Englisch
Kommentar zu "Formal Modeling and Analysis of Timed Systems"
0 Gebrauchte Artikel zu „Formal Modeling and Analysis of Timed Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Modeling and Analysis of Timed Systems".
Kommentar verfassen