From timed automata to stochastic hybrid games model checking, synthesis, performance analysis and machine learning

Kim G. Larsen*, Uli Fahrenberg, Axel Legay

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

OriginalsprogEngelsk
TitelDependable Software Systems Engineering
Antal sider44
ForlagIOS Press
Publikationsdato1 jan. 2017
Sider60-103
ISBN (Trykt)9781614998099
ISBN (Elektronisk)9781614998105
DOI
StatusUdgivet - 1 jan. 2017

Fingeraftryk Dyk ned i forskningsemnerne om 'From timed automata to stochastic hybrid games model checking, synthesis, performance analysis and machine learning'. Sammen danner de et unikt fingeraftryk.

Citationsformater