Foto af Manfred Jaeger
  • Selma Lagerløfs Vej 300, 1-2-05

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

20032019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2003 2019

Filter
Konferenceartikel i tidsskrift
2012

Learning Markov Decision Processes for Model Checking

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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

Extending ProbLog with Continuous Distributions

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review