Marta Cialdea Mayer, Andrea Orlandini. An Executable Semantics of Flexible Plans in Terms of Timed Game Automata. In 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. pages 160-169, IEEE, 2015. [doi]
Abstract is missing.