From reactive systems to cyber-physical systems: essays dedicated to scott a. smolka on the occasion of his 65th birthday
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030315139
Date de publication :
21 sept. 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.