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.
ISBN: 978-157735835-0
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords