Home » Publication » 23040

Dettaglio pubblicazione

2020, The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020), Pages 3088-3095 (volume: 34)

LTLf Synthesis with Fairness and Stability Assumptions (04b Atto di convegno in volume)

Zhu Shufang, De Giacomo Giuseppe, Pu Geguang, Vardi Moshe Y.

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