Home » Publication » 23042

Dettaglio pubblicazione

2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Pages 294-303

Nondeterministic Strategies and their Refinement in Strategy Logic (04b Atto di convegno in volume)

De Giacomo Giuseppe, Maubert Bastien, Murano Aniello

ISBN: 978-0-9992411-7-2
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma