Franco Cicirelli, Libero Nigro. Model Checking Actor-based Cyber-Physical Systems. In Dusan Maga, Jiri Hajek, editors, 24th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2020, Prague, Czech Republic, September 14-16, 2020. pages 1-8, IEEE, 2020. [doi]
Abstract is missing.