Thomas Dyhre Nielsen

  • Selma Lagerløfs Vej 300, 1-2-34

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

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

Research Output 1999 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
2009
13 Citations (Scopus)
278 Downloads (Pure)

Maximum Likelihood Learning of Conditional MTE Distributions

Langseth, H., Nielsen, T. D., Rumí, R. & Salmerón, A., 2009, In : Lecture Notes in Computer Science. 5590, p. 240-251

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
Truncated Distributions
Exponential distribution
Maximum likelihood
Maximum Likelihood
Conditional Density