Photo of Manfred Jaeger
  • Selma Lagerløfs Vej 300, 1-2-05

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

20032019
If you made any changes in Pure these will be visible here soon.

Research Output 2003 2019

Filter
Conference article in Journal
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 journalConference article in JournalResearchpeer-review

Model checking
Temporal logic
Finite automata
Learning algorithms
Learning systems
2011
10 Citations (Scopus)

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 journalConference article in JournalResearchpeer-review