29
Publications
951
Citations
17
H-Index
2011
Active since
Christian Muise is an author at University of Toronto specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningArtificial IntelligenceSystems EngineeringPlanningFormal VerificationRobot LearningMathematical Programming
Publications per year
2011–2020
29
29
Improved Non-Deterministic Planning by Exploiting State Relevance
Christian Muise, Sheila A. McIlraith, J. Christopher Beck · Proceedings of the International Conference on Automated Planning and Scheduling · 2012 · 109 citations · Full text
Mathematical Programming, Artificial Intelligence, Fond Domains +20
Rows per page
1–5 of 29