Muise, Christian J.

17 publications

IJCAI 2018 LTL Realizability via Safety and Reachability Games Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

IJCAI 2018 Managing Communication Costs Under Temporal Uncertainty Nikhil Bhargava, Christian J. Muise, Tiago Vaquero, Brian Charles Williams

IJCAI 2018 SynKit: LTL Synthesis as a Service Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

IJCAI 2018 Variable-Delay Controllability Nikhil Bhargava, Christian J. Muise, Brian Charles Williams

AAAI 2017 Logical Filtering and Smoothing: State Estimation in Partially Observable Domains Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith

AAAI 2017 Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

AAAI 2016 'Knowing Whether' in Proper Epistemic Knowledge Bases Tim Miller, Paolo Felli, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg

IJCAI 2016 Belief Update for Proper Epistemic Knowledge Bases Tim Miller, Christian J. Muise

JAIR 2016 Optimal Partial-Order Plan Relaxation via MaxSAT Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith

IJCAI 2016 Planning for a Single Agent in a Multi-Agent Environment Using FOND Christian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg

IJCAI 2015 Computing Social Behaviours Using Agent Models Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg

AAAI 2015 Planning over Multi-Agent Epistemic States: A Classical Planning Approach Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg

AAAI 2015 Stable Model Counting and Its Application in Probabilistic Logic Programming Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey

AAAI 2014 Computing Contingent Plans via Fully Observable Non-Deterministic Planning Christian J. Muise, Vaishak Belle, Sheila A. McIlraith

IJCAI 2013 Flexible Execution of Partial Order Plans with Temporal Constraints Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith

AAAI 2012 Generalizing and Executing Plans Christian J. Muise

IJCAI 2011 Monitoring the Execution of Partial-Order Plans via Regression Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck