@Article{BK97,
  author = 	 {Bundesen, C. and Kyllingsb{\ae}k, S. and Houmann, K.J. 
                  and Jensen, R.M.},
  title = 	 {Is Visual Attention Attracted by One's Own Name?},
  journal = 	 {Perception \& Psychophysics},
  year = 	 1997,
  volume =	 5,
  number =	 59,
  pages =	 {714-720}
}

@InProceedings{J98,
  author = 	 {Jensen, R.M.},
  title = 	 {Specification and Verification of Complex Robotics Tasks},
  booktitle = 	 {Proceedings of the {ESSLLI-98} workshop on Duration 
                  Calculus: A Logical Approach to Real-Time Systems},
  year =	 1998,
  pages =	 {78-89}
}






@InProceedings{JV98,
  author = 	 {Jensen, R.M. and Veloso, M.M.},
  title = 	 {Interleaving Deliberative and Reactive Planning in 
                  Dynamic Multi-Agent Domains},
  booktitle = 	 {Proceedings of the AAAI Fall Symposium on Integrated 
                  Planning for Autonomous Agent Architectures},
  year =	 1998,
  publisher =	 {AAAI Press}
}

@MastersThesis{J99,
  author = 	 {Jensen, R.~M.},
  title = 	 {{OBDD}-based Universal Planning in Multi-Agent, 
                  Non-Deterministic Domains},
  school = 	 {Technical University of Denmark},
  year = 	 1999,
  note =         {IAU99F02},
  address =	 {Department of Automation}
}


@Article{JV00A,
  author = 	 {Jensen, R.M.  and Veloso, M. M.},
  title = 	 {OBDD-based Universal Planning for Synchronized Agents in 
                  Non-Deterministic Domains},
  journal = 	 {Journal of Artificial Intelligence Research},
  year = 	 2000
}




@InProceedings{JV00B,
  author = 	 {Jensen, R.M. and Veloso, M.M.},
  title = 	 {{OBDD}-based Universal Planning for Multiple Synchronized 
                  Agents in Non-Deterministic Domains, },
  booktitle = 	 {Proceedings of the 5th International Conference on 
                  Artificial Intelligence Planning and Scheduling ({AIPS-00})},
  year =	 2000,
  publisher =	 {AAAI Press},
  pages =	 {167-176}
}


@InProceedings{JV00C, 
  author = 	 {Jensen, R.M.},
  title = 	 {{OBDD}-based Deterministic Planning using the 
                  {UMOP} Planning Framework},
  booktitle = 	 {Proceedings of the {AIPS-00} Workshop on Model-Theoretic 
                  Approaches to Planning},
  year =	 2000,
  pages =	 {26-31}
}


@InCollection{JV99,
  author = 	 {Jensen, R.M. and Veloso, M. M.},
  title = 	 {{OBDD}-based Universal Planning: Specifying and Solving 
                  Planning Problems for Synchronized Agents in 
                  Non-Deterministic Domains},
  booktitle = 	 {Artificial Intelligence Today, Recent Trends and 
                  Developments},
  publisher =	 {Springer-Verlag},
  year =	 1999,
  pages =	 {212-248}
}