generated by bibbase.org
  2018 (5)
Controller Synthesis via Non-Deterministic Planning. Camacho, A.; Baier, J. A.; Muise, C. J.; and McIlraith, S. A. In Proceedings of the Thirty-First Canadian Conference on Artificial Intelligence (CCAI), 2018. To appear
bibtex  
Finite LTL Synthesis as Planning. Camacho, A.; Baier, J. A.; Muise, C. J.; and McIlraith, S. A. In Proceedings of the Twenty-Eight International Conference on Automated Planning and Scheduling (ICAPS), 2018. to appear
bibtex   13 downloads  
SynKit: Finite LTL Synthesis as a Service. Camacho, A.; Muise, C. J.; Baier, J. A.; and McIlraith, S. A. In System Demonstrations at the Twenty-Eight International Conference on Automated Planning and Scheduling (ICAPS), 2018. To appear
bibtex   8 downloads  
LTL Realizability via Safety and Reachability Games. Camacho, A.; Muise, C. J.; Baier, J. A.; and McIlraith, S. A. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI), 2018. To appear
bibtex   3 downloads  
SynKit: LTL Synthesis as a Service. Camacho, A.; Muise, C. J.; Baier, J. A.; and McIlraith, S. A. In Demonstration Track at the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI), 2018. To appear
bibtex   1 download  
  2017 (3)
Bridging the Gap Between LTL Synthesis and Automated Planning. Camacho, A.; Baier, J. A.; Muise, C. J.; and McIlraith, S. A. In Workshop on Generalized Planning (GenPlan'17), 2017.
Bridging the Gap Between LTL Synthesis and Automated Planning [pdf]Paper   bibtex   2 downloads  
Non-Deterministic Planning with Temporally Extended Goals: LTL over finite and infinite traces. Camacho, A.; Triantafillou, E.; Muise, C.; Baier, J.; and McIlraith, S. A. In The 31st AAAI Conference on Artificial Intelligence (AAAI-17), 2017.
Non-Deterministic Planning with Temporally Extended Goals: LTL over finite and infinite traces [pdf]Paper   bibtex   abstract   11 downloads  
Logical Filtering and Smoothing: State Estimation in Partially Observable Domains. Mombourquette, B.; Muise, C.; and McIlraith, S. In The 31st AAAI Conference on Artificial Intelligence (AAAI-17), 2017.
Logical Filtering and Smoothing: State Estimation in Partially Observable Domains [pdf]Paper   bibtex   abstract   1 download  
  2016 (5)
From FOND to Robust Probabilistic Planning: Computing compact policies that bypass avoidable deadends. Camacho, A.; Muise, C.; and McIlraith, S. A. In The 26th International Conference on Automated Planning and Scheduling (ICAPS), pages 65–69, 2016.
From FOND to Robust Probabilistic Planning: Computing compact policies that bypass avoidable deadends [link]Paper   bibtex   abstract   2 downloads  
Non-Deterministic Planning with Temporally Extended Goals: Completing the story for finite and infinite LTL (Amended Version). Camacho, A.; Triantafillou, E.; Muise, C.; Baier, J.; and McIlraith, S. A. In Workshop on knowledge-based techniques for problem solving and reasoning (KnowProS'16) at IJCAI, 2016. A version of this paper also appeared in the Workshop on Heuristic Search and Domain Independent Planning (HSDIP'16) at ICAPS
Non-Deterministic Planning with Temporally Extended Goals: Completing the story for finite and infinite LTL (Amended Version) [pdf]Paper   bibtex   abstract   1 download  
Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing. Mombourquette, B.; Muise, C.; and McIlraith, S. A. In Workshop on Knowledge-based techniques for problem solving and reasoning (KnowProS'16), 2016.
Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing [pdf]Paper   bibtex   abstract   1 download  
Optimal Partial-Order Plan Relaxation via MaxSAT. Muise, C.; Beck, J. C.; and McIlraith, S. A. Journal of Artificial Intelligence Research (JAIR), 57: 113 – 149. 2016.
Optimal Partial-Order Plan Relaxation via MaxSAT [pdf]Paper   bibtex   abstract  
DSHARP: Fast d-DNNF Compilation with sharpSAT (Amended Version). Muise, C.; McIlraith, S. A.; Beck, J. C.; and Hsu, E. In AAAI-16 Workshop on Beyond NP, 2016.
DSHARP: Fast d-DNNF Compilation with sharpSAT (Amended Version) [link]Paper   bibtex  
  2015 (3)
From FOND to Probabilistic Planning: Guiding search for quality policies. Camacho, A.; Muise, C.; Ganeshen, A.; and McIlraith, S. A. In Workshop on Heuristic Search and Domain Independent Planning (HSDIP'15) at ICAPS, 2015.
From FOND to Probabilistic Planning: Guiding search for quality policies [pdf]Paper   bibtex  
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. Muise, C.; Belle, V.; Felli, P.; McIlraith, S. A.; Miller, T.; Pearce, A. R.; and Sonenberg, L. In The 29th AAAI Conference on Artificial Intelligence (AAAI), 2015.
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach [pdf]Paper   bibtex   3 downloads  
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version). Muise, C.; Belle, V.; Felli, P.; McIlraith, S. A.; Miller, T.; Pearce, A. R.; and Sonenberg, L. In Workshop on Distributed and Multi-Agent Planning (DMAP'15) at ICAPS, 2015.
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version) [pdf]Paper   bibtex   1 download  
  2014 (2)
Computing Contingent Plans via Fully Observable Non-Deterministic Planning. Muise, C.; Belle, V.; and McIlraith, S. A. In The 28th AAAI Conference on Artificial Intelligence (AAAI), 2014.
Computing Contingent Plans via Fully Observable Non-Deterministic Planning [pdf]Paper   bibtex   62 downloads  
Non-Deterministic Planning With Conditional Effects. Muise, C.; McIlraith, S. A.; and Belle, V. In The 24th International Conference on Automated Planning and Scheduling (ICAPS), 2014.
Non-Deterministic Planning With Conditional Effects [pdf]Paper   bibtex   45 downloads  
  2013 (4)
SAT-based Analysis and Quantification of Information Flow in Programs. Klebanov, V.; Manthey, N.; and Muise, C. In 10th International Conference on Quantitative Evaluation of SysTems (QEST 2013), pages 177–192, 2013.
SAT-based Analysis and Quantification of Information Flow in Programs [pdf]Paper   bibtex   61 downloads  
Flexible Execution of Partial Order Plans With Temporal Constraints. Muise, C.; Beck, J. C.; and McIlraith, S. A. In Proceedings of the Workshop on Planning in Continuous Domains, 2013.
bibtex   12 downloads  
Flexible Execution of Partial Order Plans With Temporal Constraints. Muise, C.; Beck, J. C.; and Mcilraith, S. A. In International Joint Conference On Artificial Intelligence, pages 2328–2335, 2013.
Flexible Execution of Partial Order Plans With Temporal Constraints [pdf]Paper   bibtex   12 downloads  
Flexible Execution of Partial Order Plans With Temporal Constraints. Muise, C. J.; Beck, J. C.; and McIlraith, S. A. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI), 2013.
bibtex   12 downloads  
  2012 (6)
On supervising agents in situation-determined ConGolog. De Giacomo, G.; Lespérance, Y.; and Muise, C. In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems-Volume 2, pages 1031–1038, 2012. International Foundation for Autonomous Agents and Multiagent Systems
On supervising agents in situation-determined ConGolog [pdf]Paper   bibtex   1 download  
Improved Non-deterministic Planning by Exploiting State Relevance. Muise, C.; McIlraith, S. A.; and Beck, J. C. In The 22nd International Conference on Automated Planning and Scheduling, 2012.
Improved Non-deterministic Planning by Exploiting State Relevance [pdf]Paper   bibtex   abstract   69 downloads  
Improved Non-deterministic Planning by Exploiting State Relevance. Muise, C.; McIlraith, S. A.; and Beck, J. C. In Proceedings of the 22nd International Conference on Automated Planning and Scheduling, of The 22nd International Conference on Automated Planning and Scheduling, 2012.
Improved Non-deterministic Planning by Exploiting State Relevance [pdf]Paper   bibtex   69 downloads  
Optimally Relaxing Partial-order Plans With MaxSAT. Muise, C.; McIlratih, S. A.; and Beck, J. C. In 22nd International Conference on Automated Planning and Scheduling, 2012.
Optimally Relaxing Partial-order Plans With MaxSAT [pdf]Paper   bibtex   5 downloads  
Optimally Relaxing Partial-Order Plans with MaxSAT. Muise, C. J.; McIlraith, S. A.; and Beck, J. C. In ICAPS, 2012.
Optimally Relaxing Partial-Order Plans with MaxSAT [pdf]Paper   bibtex   2 downloads  
Dsharp: Fast d-DNNF Compilation with sharpSAT. Muise, C. J.; McIlraith, S. A.; Beck, J. C.; and Hsu, E. I. In Proceedings of the Canadian Conference on Artificial Intelligence, pages 356-361, 2012.
Dsharp: Fast d-DNNF Compilation with sharpSAT [pdf]Paper   bibtex   6 downloads  
  2011 (3)
Agent Supervision in Situation-Determined ConGolog. De Giacomo, G.; Lesperance, Y.; and Muise, C. In Nonmonotonic Reasoning, Action and Change, 2011.
Agent Supervision in Situation-Determined ConGolog [link]Paper   bibtex   abstract   2 downloads  
Monitoring the Execution of Partial-Order Plans via Regression. Muise, C.; McIlraith, S. A.; and Beck, J. C. In International Joint Conference On Artificial Intelligence, 2011.
Monitoring the Execution of Partial-Order Plans via Regression [pdf]Paper   bibtex   abstract   7 downloads  
Optimization of Partial-Order Plans via MaxSAT. Muise, C.; McIlratih, S. A.; and Beck, J. C. In Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'11), 2011.
Optimization of Partial-Order Plans via MaxSAT [pdf]Paper   bibtex  
  2010 (1)
Fast d-DNNF Compilation with sharpSAT. Muise, C.; McIlraith, S. A.; and Beck, J. C. In Workshop on Abstraction, Reformulation, and Approximation (AAAI-10), Atlanta, GA, USA, 2010.
Fast d-DNNF Compilation with sharpSAT [pdf]Paper   bibtex   2 downloads  
  2009 (1)
Exploiting N-gram Analysis to Predict Operator Sequences. Muise, C.; Mcilraith, S. A.; Baier, J. A.; and Reimer, M. In 19th International Conference on Automated Planning and Scheduling, Thessaloniki, Greece, 2009.
Exploiting N-gram Analysis to Predict Operator Sequences [pdf]Paper   bibtex   12 downloads  
  2008 (1)
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. Hsu, E. I; Muise, C.; Beck, J. C.; and McIlraith, S. A. In Principles and Practice of Constraint Programming, 14th International Conference, pages 613–617, Sydney, Australia, 2008.
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview [pdf]Paper   bibtex   4 downloads