Rune Møller Jensen

Research output

Research output per year 1997 2002 2003 2004 2011 2012 2013 2019 2022 2022

• 28 Article in proceedings
• 14 Report
• 13 Conference abstract for conference
• 9 Journal article
• 13 More
  • 3 Book chapter
  • 3 Conference article
  • 2 Paper
  • 2 Patent
  • 1 Ph.D. thesis
  • 1 Review
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 1999

  OBDD-based Universal Planning in Multi-Agent, Non-Deterministic Domains

  Jensen, R. M., 1999, 239 p. Department of Automation : Technical University of Denmark (DTU).

  Research output: Other contribution › Research

  Open Access

  File

  • Binary decision diagrams 100%
  • Planning 47%
  • Model checking 13%
  • Finite automata 6%
  • Semantics 4%