A Hybrid Algorithm for LTL Games

DOI10.1007/978-3-540-78163-9_26zbMath1138.68459OpenAlexW1568412951MaRDI QIDQ5452725

Fabio Somenzi, Sohail, Kavita Ravi

Publication date: 4 April 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78163-9_26

Mathematics Subject Classification ID

Applications of game theory (91A80) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (4)

Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ Synthesis of Reactive(1) designs ⋮ Interpolation-Based GR(1) Assumptions Refinement ⋮ Nearly Optimal Verifiable Data Streaming

This page was built for publication: A Hybrid Algorithm for LTL Games