Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, F
54.95 CHF
Versandkostenfrei
Versandkostenfreie Lieferung!
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10431599
Beschreibung
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.
Eigenschaften
Breite: | 155 |
Gewicht: | 267 g |
Höhe: | 9 |
Länge: | 235 |
Seiten: | 155 |
Sprachen: | Englisch |
Autor: | Catalin Dima, Mahsa Shirmohammadi |
Veröffentlichung: | 2021-07-28 |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen