| Publication | Date of Publication | Type |
|---|
Optimal mixed discrete-continuous planning for linear hybrid systems
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
A conflict-directed approach to chance-constrained mixed logical linear programming
Artificial Intelligence | 2023-10-04 | Paper |
An anytime algorithm for constrained stochastic shortest path problems with deterministic policies
Artificial Intelligence | 2023-06-19 | Paper |
Motion Planning Under Uncertainty with Complex Agents and Environments via Hybrid Search
Journal of Artificial Intelligence Research | 2022-10-06 | Paper |
Best-first enumeration based on bounding conflicts, and its application to large-scale hybrid estimation
Journal of Artificial Intelligence Research | 2020-01-22 | Paper |
Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty
Artificial Intelligence | 2019-08-28 | Paper |
Watching and acting together: concurrent plan recognition and adaptation for human-robot teams
Journal of Artificial Intelligence Research | 2018-11-01 | Paper |
ScottyActivity: mixed discrete-continuous planning with convex optimization
Journal of Artificial Intelligence Research | 2018-08-14 | Paper |
Resolving over-constrained temporal problems with uncertainty through conflict-directed relaxation
Journal of Artificial Intelligence Research | 2017-11-13 | Paper |
Temporally and spatially flexible plan execution for dynamic hybrid systems
Artificial Intelligence | 2017-09-29 | Paper |
Active Estimation for Jump Markov Linear Systems
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Probabilistic planning for continuous dynamic systems under bounded risk
Journal of Artificial Intelligence Research | 2013-04-09 | Paper |
Drake: an efficient executive for temporal plans with choice
(available as arXiv preprint) | 2012-01-12 | Paper |
Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Generalized Conflict Learning for Hybrid Discrete/Linear Optimization
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Conflict-directed \(A^{*}\) and its role in model-based embedded systems
Discrete Applied Mathematics | 2007-08-23 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2007-04-30 | Paper |
| scientific article; zbMATH DE number 2085329 (Why is no real title available?) | 2004-08-09 | Paper |
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence | 1999-01-12 | Paper |
A theory of interactions: Unifying qualitative and quantitative algebraic reasoning
Artificial Intelligence | 1992-09-26 | Paper |
| scientific article; zbMATH DE number 4185071 (Why is no real title available?) | 1989-01-01 | Paper |
Diagnosing multiple faults
Artificial Intelligence | 1987-01-01 | Paper |
