Bayesian Neural Predictive Monitoring,
Bortolussi, L., Cairoli F., Paoletti N., Smolka S. A., and Stoller S. D.
, Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI, 09/2020, (2020)
Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees,
Ferlez, James, Cleaveland Rance, and Marcus Steven I.
, Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017., (2017)
(254.08 KB)