LTL reactive synthesis with a few hints

DOI10.1007/978-3-031-30820-8_20zbMath1547.68408MaRDI QIDQ6536136

Emmanuel Filiot, Unnamed Author, Jean-François Raskin

Publication date: 5 April 2024

Mathematics Subject Classification ID

Computational learning theory (68Q32) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: LTL reactive synthesis with a few hints