Dettaglio pubblicazione
2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, Pages 304-314
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions (04b Atto di convegno in volume)
De Giacomo Giuseppe, Di Stasio Antonio, Vardi Moshe, Zhu Shufang
ISBN: 978-171382598-2
keywords