scientific article; zbMATH DE number 7311251
From MaRDI portal
Publication:5151002
zbMath1456.68099MaRDI QIDQ5151002
Klaus Schneider, Andreas Morgenstern
Publication date: 16 February 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF10.11
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) 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)
Unnamed Item ⋮ Synthesizing robust systems ⋮ Practical synthesis of reactive systems from LTL specifications via parity games ⋮ Compositional construction of most general controllers
This page was built for publication:
