Learning deterministic probabilistic automata from a model checking perspective

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

21 Citationer (Scopus)
297 Downloads (Pure)

Fingeraftryk Dyk ned i forskningsemnerne om 'Learning deterministic probabilistic automata from a model checking perspective'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab