Towards theory-of-mind agents using automated planning and dynamic epistemic logic
MB Andersen - 2015 - orbit.dtu.dk
Towards Theory-of-Mind agents using Automated Planning and Dynamic Epistemic Logic —
Welcome to DTU Research Database Skip to main navigation Skip to search Skip to main …
Welcome to DTU Research Database Skip to main navigation Skip to search Skip to main …
Game-based verification and synthesis
S Vester - 2016 - orbit.dtu.dk
Game-based verification and synthesis Page 1 General rights Copyright and moral rights for
the publications made accessible in the public portal are retained by the authors and/or other …
the publications made accessible in the public portal are retained by the authors and/or other …