Formal Modeling and Analysis of Timed Systems
19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings
Seiten
2021
|
1st ed. 2021
Springer International Publishing (Verlag)
978-3-030-85036-4 (ISBN)
Springer International Publishing (Verlag)
978-3-030-85036-4 (ISBN)
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.
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.
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.
Erscheinungsdatum | 10.08.2021 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | XI, 155 p. 36 illus., 23 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 267 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Informatik ► Theorie / Studium ► Algorithmen | |
Schlagworte | Applications • Architecting • architecture verification and validation • Artificial Intelligence • Automata Theory • Automation • Computer Hardware • computer programming • Computer Science • Computer systems • computer vision • conference proceedings • Embedded Systems • Engineering • Formal Logic • Informatics • Mathematics • Model Checking • Research • Signal Processing • software architecture • Software Design • Software engineering • theoretical computer science |
ISBN-10 | 3-030-85036-6 / 3030850366 |
ISBN-13 | 978-3-030-85036-4 / 9783030850364 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Eine Einführung mit Java
Buch | Hardcover (2020)
dpunkt (Verlag)
44,90 €
Mit Bildern ganz einfach lernen und verstehen
Buch | Softcover (2023)
mitp Verlags GmbH & Co.KG
34,99 €
how metrics are transforming the work of journalists
Buch | Softcover (2024)
Princeton University Press (Verlag)
23,65 €