Publications

Export 5 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is B  [Clear All Filters]
Conference Paper
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)
Bifurcation Analysis of Cardiac Alternans Using δ -Decidability., Islam, Md. Ariful, Byrne Greg, Kong Soonho, Clarke Edmund M., Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A. , CMSB, (2016)  (795.28 KB)
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)
Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees, Ferlez, James, Cleaveland Rance, and Marcus Steven I. , 2018 IEEE Conference on Decision and Control (CDC), (2018)
Journal Article
Better Automata through Process Algebra, Cleaveland, Rance , arXiv preprint arXiv:2002.07562, (2020)