Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 17)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030576271, 9783030576288

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Probabilistic Guarantees for Safe Deep Reinforcement Learning

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-57628-8_14 ◽

2020 ◽

pp. 231-248

Author(s):

Edoardo Bacci ◽

David Parker

Keyword(s):

Reinforcement Learning

Download Full-text

Deep Reinforcement Learning with Temporal Logics

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-57628-8_1 ◽

2020 ◽

pp. 1-22 ◽

Author(s):

Mohammadhosein Hasanbeig ◽

Daniel Kroening ◽

Alessandro Abate

Keyword(s):

Reinforcement Learning ◽

Temporal Logics

Download Full-text

On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-57628-8_6 ◽

2020 ◽

pp. 94-110

Author(s):

Thomas Brihaye ◽

Aline Goeminne

Keyword(s):

Subgame Perfect Equilibria ◽

Perfect Equilibria

Download Full-text

Backward Symbolic Optimal Reachability in Weighted Timed Automata

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-57628-8_3 ◽

2020 ◽

pp. 41-57

Author(s):

Rémi Parrot ◽

Didier Lime

Keyword(s):

Download Full-text

On the Semantics of Polychronous Polytimed Specifications

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-57628-8_2 ◽

2020 ◽

pp. 23-40

Author(s):

Hai Nguyen Van ◽

Thibaut Balabonski ◽

Frédéric Boulanger ◽

Chantal Keller ◽

Benoît Valiron ◽

...

Download Full-text

Active Learning of Timed Automata with Unobservable Resets

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-57628-8_9 ◽

2020 ◽

pp. 144-160

Author(s):

Léo Henry ◽

Thierry Jéron ◽

Nicolas Markey

Keyword(s):

Active Learning ◽

Download Full-text

Dynamic Causes for the Violation of Timed Reachability Properties

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-57628-8_8 ◽

2020 ◽

pp. 127-143

Author(s):

Martin Kölbl ◽

Stefan Leue ◽

Robert Schmid

Download Full-text

Incremental Methods for Checking Real-Time Consistency

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-57628-8_15 ◽

2020 ◽

pp. 249-264

Author(s):

Thierry Jéron ◽

Nicolas Markey ◽

David Mentré ◽

Reiya Noguchi ◽

Ocan Sankur

Keyword(s):

Real Time ◽

Time Consistency ◽

Incremental Methods

Download Full-text

Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-57628-8_13 ◽

2020 ◽

pp. 215-230

Author(s):

Susanna Donatelli ◽

Serge Haddad

Keyword(s):

Download Full-text

Certifying Emptiness of Timed Büchi Automata

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-57628-8_4 ◽

2020 ◽

pp. 58-75

Author(s):

Simon Wimmer ◽

Frédéric Herbreteau ◽

Jaco van de Pol

Keyword(s):

Büchi Automata ◽

Download Full-text