scientific article; zbMATH DE number 7455747
From MaRDI portal
Publication:5021010
Lydia E. Kavraki, Morteza Lahijanian, Moshe Y. Vardi, Andrew M. Wells
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10883
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Linear temporal logic -- from infinite to finite horizon ⋮ Strategy synthesis for partially-known switched stochastic systems
Uses Software
Cites Work
- Unnamed Item
- Scalable uncertainty management. 10th international conference, SUM 2016, Nice, France, September 21--23, 2016. Proceedings
- The complexity of probabilistic verification
- Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
- Satisfiability checking for mission-time LTL
This page was built for publication:
