Foto af Thomas Dyhre Nielsen
  • Selma Lagerløfs Vej 300, 1-2-34

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

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

Publikationer 1999 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
2009
13 Citationer (Scopus)
246 Downloads (Pure)

Maximum Likelihood Learning of Conditional MTE Distributions

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Truncated Distributions
Exponential distribution
Maximum likelihood
Maximum Likelihood
Conditional Density