Manfred Jaeger

Research output

Research output per year 2003 2004 2005 2006 2008 2011 2012 2014 2020 2021

• 32 Article in proceeding
• 16 Journal article
• 3 Book chapter
• 3 Paper without publisher/journal
• 8 More
  • 2 Encyclopedia chapter
  • 2 Conference article in Journal
  • 1 Book
  • 1 Conference abstract for conference
  • 1 Editorial
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2012

  Learning Markov Decision Processes for Model Checking

  Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2012, In: Electronic Proceedings in Theoretical Computer Science. 103, p. 49-63

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  • Algorithm 100%
  • Algorithms 100%
  • Learning 75%
  • Systems Model 75%
  • System Behavior 50%
• 2011

  Extending ProbLog with Continuous Distributions

  Gutmann, B., Jaeger, M. & De Raedt, L., 2011, In: Lecture Notes in Computer Science. 6489, p. 76-91 16 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review
  21 Citations (Scopus)