Finite-trace and generalized-reactivity specifications in temporal synthesis

DOI10.1007/s10703-023-00413-2MaRDI QIDQ6151754

Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu, Giuseppe De Giacomo, Antonio Di Stasio

Publication date: 11 March 2024

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

gamesreactive synthesisGR(1)\(\mathrm{LTL}_f\)

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Synthesis of Reactive(1) designs
• Supervisory control and reactive synthesis: a comparative introduction
• Unnamed Item
• Unnamed Item

This page was built for publication: Finite-trace and generalized-reactivity specifications in temporal synthesis