Home » Publication » 24853

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.

keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma