Skip to main content
SpringerLink
Log in

Formal Modeling and Analysis of Timed Systems

18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Nathalie Bertrand

    1. Inria, Université de Rennes, Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nils Jansen

    1. Radboud University, Nijmegen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12288)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FORMATS 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Deep Reinforcement Learning with Temporal Logics

    • Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
    Pages 1-22

  3. On the Semantics of Polychronous Polytimed Specifications

    • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
    Pages 23-40

  4. Backward Symbolic Optimal Reachability in Weighted Timed Automata

    • Rémi Parrot, Didier Lime
    Pages 41-57

  5. Certifying Emptiness of Timed Büchi Automata

    • Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
    Pages 58-75

  6. Learning Specifications for Labelled Patterns

    • Nicolas Basset, Thao Dang, Akshay Mambakam, José Ignacio Requeno Jarabo
    Pages 76-93

  7. On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games

    • Thomas Brihaye, Aline Goeminne
    Pages 94-110

  8. Computing Maximally-Permissive Strategies in Acyclic Timed Automata

    • Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré
    Pages 111-126

  9. Dynamic Causes for the Violation of Timed Reachability Properties

    • Martin Kölbl, Stefan Leue, Robert Schmid
    Pages 127-143

  10. Active Learning of Timed Automata with Unobservable Resets

    • Léo Henry, Thierry Jéron, Nicolas Markey
    Pages 144-160

  11. Computation of the Transient in Max-Plus Linear Systems via SMT-Solving

    • Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa’ul Mufid
    Pages 161-177

  12. Clairvoyant Monitoring for Signal Temporal Logic

    • Xin Qin, Jyotirmoy V. Deshmukh
    Pages 178-195

  13. Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2

    • Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier
    Pages 196-214

  14. Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata

    • Susanna Donatelli, Serge Haddad
    Pages 215-230

  15. Probabilistic Guarantees for Safe Deep Reinforcement Learning

    • Edoardo Bacci, David Parker
    Pages 231-248

  16. Incremental Methods for Checking Real-Time Consistency

    • Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
    Pages 249-264

  17. Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling

    • Dongxu Li, Stanley Bak, Sergiy Bogomolov
    Pages 265-282

  18. Weakness Monitors for Fail-Aware Systems

    • Wolfgang Granig, Stefan Jakšić, Horst Lewitschnig, Cristinel Mateis, Dejan Ničković
    Pages 283-299

  19. Back Matter

    Pages 301-301
    Download chapter PDF
Back to top

Other volumes

  1. Formal Modeling and Analysis of Timed Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020.
The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints.

Due to the Corona pandemic this conference was held as a virtual event.

Editors and Affiliations

  • Inria, Université de Rennes, Rennes, France

    Nathalie Bertrand

  • Radboud University, Nijmegen, The Netherlands

    Nils Jansen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation