Formal modeling and analysis of timed systems : 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings / Catalin Dima, Mahsa Shirmohammadi (eds.).
2021
QA76.9.F67
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Formal modeling and analysis of timed systems : 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings / Catalin Dima, Mahsa Shirmohammadi (eds.).
Meeting Name
FORMATS (Conference) (19th : 2021 : Online)
ISBN
9783030850371 (electronic bk.)
3030850374 (electronic bk.)
9783030850364 (print)
3030850374 (electronic bk.)
9783030850364 (print)
Published
Cham, Switzerland : Springer, 2021.
Language
English
Description
1 online resource (xi, 155 pages) : illustrations (some color)
Item Number
10.1007/978-3-030-85037-1 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Summary
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.
Note
"This volume contains the papers presented at the 19th International Conference on Formal Modeling and Analysis of Time Systems (FORMATS 2021), held virtually, and hosted by the Laboratoire d'Algorithmique, Complexitéet Logique (LACL), Université Paris-Est Créteil, France, during August 24-26, 2021."-- Preface.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed August 18, 2021).
Added Author
Dima, Catalin, editor.
Shirmohammadi, Mahsa, editor.
Shirmohammadi, Mahsa, editor.
Series
Lecture notes in computer science ; 12860.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
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.
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.