Journal Articles

• (ps,pdf,bib) Fault Tolerant Planning: Toward Probabilistic Domain Models in Symbolic Non-Deterministic Planning, R.M. Jensen, R.E. Bryant, and M.M. Veloso, Submitted to JAIR, 2005

• (ps,pdf,bib) State-Set Branching: Leveraging OBDDs for Heuristic Search, R.M. Jensen, R.E. Bryant, and M.M. Veloso, Submitted to AIJ, 2004

• (ps,pdf,bib) OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains, R.M. Jensen and M. M. Veloso, Journal of Artificial Intelligence Research, Volume 13, pages 189-226, 2000.

• (ps,pdf,bib) Is Visual Attention Attracted by One’s Own Name?, C. Bundesen, S. Kyllingsbæk, K.J. Houmann and R.M. Jensen, Perception & Psychophysics, 59(5), pages 714-720, 1997.

Conference Papers

• (ps,pdf,bib) ASET: Representing Indeterminate Durative Tasks for Symbolic Fault Tolerant Planning in Multi-Agent Domains, R.M. Jensen, M.M. Veloso, and S. Shchukin, Submitted to ICAPS 05, 2004.

• (ps,pdf,bib) Fast Backtrack Free Product Configuration using Precompiled Solution Space Representations, T. Hadzic, S. Sathiamoorthy, R.M. Jensen, H.R. Andersen, J. Moller and H. Hulgaard., In the Proceedings of the International Conference on Economic, Technical and Organisational aspects of Product Configuration Systems, 2004.

• (ps,pdf,bib) Fault Tolerant Planning: Toward Probabilistic Uncertainty Models in Symbolic Non-Deterministic Planning, R.M. Jensen, M.M. Veloso, and R.E. Bryant, In Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-04), 2004.

• (ps,pdf,bib) Guided Symbolic Universal Planning, R.M. Jensen, M.M. Veloso, and R.E. Bryant, Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS-03), pages 123-132, Trento, Italy, 2003.

• (ps,pdf,bib) SetA*: An efficient BDD-Based Heuristic Search Algorithm, R.M. Jensen, R.E. Bryant and M.M. Veloso, In Proceedings of 18th National Conference on Artificial Intelligence (AAAI'02), pages 668-673, 2002.

• (ps,pdf,bib) OBDD-Based Optimistic and Strong Cyclic Adversarial Planning, R.M. Jensen, M.M. Veloso and M.H. Bowling, In Proceedings of the 6th European Conference on Planning (ECP-01), Springer-Verlag.

• (ps,pdf,bib) OBDD-based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains, R.M. Jensen and M. M. Veloso, In Proceedings of the 5th International Conference on Artificial Intelligence Planning and Scheduling (AIPS-00), AAAI Press, pages 167-176, 2000.

Workshop Papers

• (ps,pdf,bib) Comparing Two Implementations of a Complete and Backtrack-Free Interactive Configurator, S. Sathiamoorthy, R.M. Jensen, T. Hadzic, H.R. Andersen, J. Moller and H. Hulgaard. CP-04 Workshop on CSP Techniques with Immediate Application, 2004.

• (ps,pdf,bib) Synthesis of Fault Tolerant Plans for Non-Deterministic Domains, R.M. Jensen, M.M. Veloso and R.E. Bryant, ICAPS'03 Workshop on Planning under Uncertainty and Incomplete Information, 2003.

• (ps,pdf,bib) A formalization of equilibria for multiagent planning, M.H .Bowling, R.M. Jensen, and M.M. Veloso, AAAI-02 workshop on Planning with and for Multiagent Systems, 2002.

• (ps,pdf,bib) An Efficient BDD-based A* Algorithm, R.M. Jensen, R.E. Bryant and M.M. Veloso, AIPS-02 Workshop on Planning via Model Checking, 2002.

• (ps,pdf,bib) OBDD-based Deterministic Planning using the UMOP Planning Framework, R.M. Jensen and M. M. Veloso, AIPS-00 Workshop on Model-Theoretic Approaches to Planning, 2000.

• (ps,pdf,bib) Interleaving Deliberative and Reactive Planning in Dynamic Multi-Agent Domains, R.M. Jensen and M.M. Veloso, AAAI Fall Symposium on Integrated Planning for Autonomous Agent Architectures, AAAI Press, 1998.

• (ps,pdf,bib) Specification and Verification of Complex Robotics Tasks, R.M. Jensen, ESSLLI'98 workshop on Duration Calculus: A Logical Approach to Real-Time Systems, 1998.

Software Demonstrations

• (ps,pdf,bib) CLab: a C++ Library for Fast Backtrack-Free Interactive Product Configuration, R.M. Jensen, In Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP-04), page 816, 2004.

• (ps,pdf,bib) UMOP 1.2 Software Demonstration, R.M. Jensen and M.M. Veloso, In Printed Notes of ICAPS-03 System Demos, 2003

Technical Reports

• (ps,pdf,bib) CLab 1.0 User Manual, R.M. Jensen, Technical Report ITU-TR-2003-46, IT University of Copenhagen, 2004

• (ps,pdf,bib) Substitution and Flip BDDs, R.M. Jensen and H.R. Andersen, Technical Report ITU-TR-2003-41, IT University of Copenhagen, 2003

• (ps,pdf,bib) DES Controller Synthesis and Fault Tolerant Control, R.M. Jensen, Technical Report ITU-TR-2003-40, IT University of Copenhagen, 2003

• (ps,pdf,bib) SetA* Applied to Channel Routing, R.M. Jensen, R.E. Bryant, and M.M. Veloso, Technical Report CMU-CS-02-172, Computer Science Department, Carnegie Mellon University, 2002

• (ps,pdf,bib) A Comparison Study between the CUDD and BuDDy OBDD Package Applied to AI-Planning problems, R.M. Jensen, Tecnical Report CMU-CS-02-173, Computer Science Department, Carnegie Mellon University, 2002

• (ps,pdf,bib) State-Set Branching: Leveraging OBDDs for Heuristic Search, R.M. Jensen, R.E. Bryant, and M.M. Veloso, Tecnical Report CMU-CS-02-174, Computer Science Department, Carnegie Mellon University, 2002

Dissertations

• (ps,pdf,bib) Efficient BDD-Based Planning for Non-Deterministic, Fault-Tolerant, and Adversarial Domains, R.M. Jensen, PhD Thesis, Computer Science Dept., Carnegie Mellon University, CMU-CS-03-139, June, 2003.

• (ps,pdf,bib) OBDD-based Universal Planning in Multi-Agent, Non-Deterministic Domains, R.M. Jensen, Master's Thesis, Technical University of Denmark, Department of Automation, IAU99F02, 1999.