LEADER 03836nam  22007455  450 
001 9910495156903321
005 20251225175031.0
010   $a3-030-85037-4
024 7 $a10.1007/978-3-030-85037-1
035   $a(CKB)4100000012000174
035   $a(DE-He213)978-3-030-85037-1
035   $a(MiAaPQ)EBC6702965
035   $a(Au-PeEL)EBL6702965
035   $a(PPN)257350632
035   $a(EXLCZ)994100000012000174
100   $a20210807d2021      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Modeling and Analysis of Timed Systems $e19th International Conference, FORMATS 2021, Paris, France, August 24?26, 2021, Proceedings /$fedited by Catalin Dima, Mahsa Shirmohammadi
205   $a1st ed. 2021.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021.
215   $a1 online resource (XI, 155 p. 36 illus., 23 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12860
311 08$a3-030-85036-6 
327   $aFormal 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.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12860
606   $aComputer science
606   $aSoftware engineering
606   $aComputer systems
606   $aComputers, Special purpose
606   $aComputer simulation
606   $aMicroprogramming
606   $aTheory of Computation
606   $aSoftware Engineering
606   $aComputer System Implementation
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer Modelling
606   $aControl Structures and Microprogramming
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputer systems.
615  0$aComputers, Special purpose.
615  0$aComputer simulation.
615  0$aMicroprogramming.
615 14$aTheory of Computation.
615 24$aSoftware Engineering.
615 24$aComputer System Implementation.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer Modelling.
615 24$aControl Structures and Microprogramming.
676   $a005.1
702   $aShirmohammadi$b Mahsa
702   $aDima$b Catalin
702   $aShirmohammadi$b Mahsa
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910495156903321
996   $aFormal Modeling and Analysis of Timed Systems$9772562
997   $aUNINA