@article{914844,
      recid = {914844},
      author = {Bartocci, Ezio and Cleaveland, Rance, and Grosu, Radu, and  Sokolsky, Oleg, and Smolka, Scott A.,},
      title = {From reactive systems to cyber-physical systems : essays  dedicated to Scott A. Smolka on the occasion of his 65th  birthday /},
      pages = {1 online resource (xvi, 301 pages) :},
      note = {Includes author index.},
      abstract = {This Festschrift is in honor of Scott A. Smolka, Professor  in the Stony Brook University, USA, on the occasion of his  65th birthday. Scott A. Smolka made fundamental research  contributions in a number of areas, including process  algebra, model checking, probabilistic processes, runtime  verification, and the modeling and analysis of cardiac  cells, neural circuits and flocking behaviors. He is  perhaps best known for the algorithm he and Paris  Kanellakis invented for checking bi-simulation. The title  of this volume From Reactive Systems to Cyber-Physical  Systems reflects Scott's main research focus throughout his  career. It contains the papers written by his closest  friends and collaborators. 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.},
      url = {http://library.usi.edu/record/914844},
      doi = {https://doi.org/10.1007/978-3-030-31514-6,  https://doi.org/10.1007/978-3-030-31},
}