Formal Modeling and Analysis of Timed Systems : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / / edited by Catalin Dima, Mahsa Shirmohammadi
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Formal Modeling and Analysis of Timed Systems : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / / edited by Catalin Dima, Mahsa Shirmohammadi
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Edizione: | 1st ed. 2021. |
| Descrizione fisica: | 1 online resource (XI, 155 p. 36 illus., 23 illus. in color.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Computer science |
| Software engineering | |
| Computer systems | |
| Computers, Special purpose | |
| Computer simulation | |
| Microprogramming | |
| Theory of Computation | |
| Software Engineering | |
| Computer System Implementation | |
| Special Purpose and Application-Based Systems | |
| Computer Modelling | |
| Control Structures and Microprogramming | |
| Persona (resp. second.): | ShirmohammadiMahsa |
| DimaCatalin | |
| Nota di contenuto: | 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. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Formal Modeling and Analysis of Timed Systems |
| ISBN: | 3-030-85037-4 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910495156903321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 12860