↓ Skip to main content
What is this page? Embed badge

Formal Modeling and Analysis of Timed Systems

Overview of attention for book
Cover of 'Formal Modeling and Analysis of Timed Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Deep Reinforcement Learning with Temporal Logics
  3. Altmetric Badge
    Chapter 2 On the Semantics of Polychronous Polytimed Specifications
  4. Altmetric Badge
    Chapter 3 Backward Symbolic Optimal Reachability in Weighted Timed Automata
  5. Altmetric Badge
    Chapter 4 Certifying Emptiness of Timed Büchi Automata
  6. Altmetric Badge
    Chapter 5 Learning Specifications for Labelled Patterns
  7. Altmetric Badge
    Chapter 6 On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games
  8. Altmetric Badge
    Chapter 7 Computing Maximally-Permissive Strategies in Acyclic Timed Automata
  9. Altmetric Badge
    Chapter 8 Dynamic Causes for the Violation of Timed Reachability Properties
  10. Altmetric Badge
    Chapter 9 Active Learning of Timed Automata with Unobservable Resets
  11. Altmetric Badge
    Chapter 10 Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
  12. Altmetric Badge
    Chapter 11 Clairvoyant Monitoring for Signal Temporal Logic
  13. Altmetric Badge
    Chapter 12 Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2
  14. Altmetric Badge
    Chapter 13 Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata
  15. Altmetric Badge
    Chapter 14 Probabilistic Guarantees for Safe Deep Reinforcement Learning
  16. Altmetric Badge
    Chapter 15 Incremental Methods for Checking Real-Time Consistency
  17. Altmetric Badge
    Chapter 16 Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling
  18. Altmetric Badge
    Chapter 17 Weakness Monitors for Fail-Aware Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users
patent
2 patents

Citations

dimensions_citation
3 Dimensions
Summary X Patents Dimensions citations

This page is provided by Altmetric.