Research Output per year
Research Output 2003 2019
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-63Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Model checking
Temporal logic
Finite automata
Learning algorithms
Learning systems
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