Dettaglio pubblicazione
2021, AAAI2021, Pages -
On-the-fly Synthesis for LTL over Finite Traces (04b Atto di convegno in volume)
Xiao Shengping, Li Jianwen, Zhu Shufang, Shi Yingying, Pu Geguang, Vardi Moshe Y.
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords