Backward Symbolic Optimal Reachability in Weighted Timed Automata

von Parrot, Rémi
Veröffentlicht in FORMATS (18. : 2020 : Online) Formal modeling and analysis of timed systems (2020)

An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs

von Sérée, Bastien
Veröffentlicht in LATA (15. : 2021 : Mailand) Language and automata theory and applications (2021)

A Lazy Query Scheme for Reachability Analysis in Petri Nets

von Jezequel, Loig
Veröffentlicht in PETRI NETS (42. : 2021 : Online) Application and Theory of Petri Nets and Concurrency (2021)

A Turn-Based Approach for Qualitative Time Concurrent Games

von Haddad, Serge
Veröffentlicht in PETRI NETS (42. : 2021 : Online) Application and Theory of Petri Nets and Concurrency (2021)

Timed Non-interference Under Partial Observability and Bounded Memory

von Spriet, Anthony
Veröffentlicht in FORMATS (21. : 2023 : Antwerpen) Formal modeling and analysis of timed systems (2023)

Parametric Verification: An Introduction

von André, Etienne
Veröffentlicht in International Conference on Application and Theory of Petri Nets and Concurrency (39. : 2018 : Bratislava) Transactions on Petri Nets and Other Models of Concurrency XIV (2020)