Skip to main content

Fast Obligation Translation and Synthesis

Alexandre Duret−Lutz‚ Giuseppe De Giacomo‚ Marcin Jurdziński‚ Nir Piterman‚ Moshe Y. Vardi and Shufang Zhu

Book Title
Proceedings of CAV 2026
Year
2026