Learning deterministic probabilistic automata from a model checking perspective

Research output: Contribution to journalJournal articleResearchpeer-review

14 Citations (Scopus)
279 Downloads (Pure)
Original languageEnglish
JournalMachine Learning
Volume105
Issue number2
Pages (from-to)255-299
Number of pages45
ISSN0885-6125
DOIs
Publication statusPublished - 2016

    Fingerprint

Cite this