Dettaglio pubblicazione
2013, Proceedings of the 23rd International Joint Conference on Artificial IntelligenceIJCAI, Pages 2343-2349
Fair LTL synthesis for non-deterministic systems using strong cyclic planners (04b Atto di convegno in volume)
PATRIZI FABIO, N. Lipovetzky, H. Geffner
ISBN: 9781577356332
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords