Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Tabajara, Lucas Martinelli"'
The innovations in reactive synthesis from {\em Linear Temporal Logics over finite traces} (LTLf) will be amplified by the ability to verify the correctness of the strategies generated by LTLf synthesis tools. This motivates our work on {\em LTLf mod
Externí odkaz:
http://arxiv.org/abs/2305.08319
