Publikationer
(6)- Udgivet
Learning and Model-checking Networks of I/O Automata
Publikation: Forskning - peer review › Konferenceartikel i proceeding
- Udgivet
Learning Markov Decision Processes for Model Checking
Publikation: Forskning - peer review › Konferenceartikel i tidsskrift
- Udgivet
Learning Markov models for stationary system behaviors
Publikation: Forskning - peer review › Konferenceartikel i proceeding
Mest anvendte forlag
Mest anvendte tidsskrifter
Lecture Notes in Computer Science
ISSNs: 0302-9743, 0302-8743, 1865-0929
Springer, Tyskland
Central database
Tidsskrift: Bogserie
Electronic Proceedings in Theoretical Computer Science
ISSNs: 2075-2180
Open Publishing Association, Australien
Central database
Tidsskrift
Seneste aktiviteter og konferencer
Indlæser lokationer...
ID: 18437926