@conference {,
	title = {Bayesian Neural Predictive Monitoring},
	booktitle = {Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI},
	year = {2020},
	month = {09/2020},
	author = {L. Bortolussi and F. Cairoli and N. Paoletti and S. A. Smolka and S. D. Stoller}
}
@article {,
	title = {Better Automata through Process Algebra},
	journal = {arXiv preprint arXiv:2002.07562},
	year = {2020},
	author = {Cleaveland, Rance}
}
@conference {,
	title = {Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees},
	booktitle = {2018 IEEE Conference on Decision and Control (CDC)},
	year = {2018},
	publisher = {IEEE},
	organization = {IEEE},
	author = {Ferlez, James and Cleaveland, Rance and Marcus, Steven I}
}
@conference {,
	title = {Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees},
	booktitle = {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.},
	year = {2017},
	doi = {10.4204/EPTCS.255.3},
	url = {https://doi.org/10.4204/EPTCS.255.3},
	author = {James Ferlez and Rance Cleaveland and Steven I. Marcus}
}
@conference {,
	title = {Bifurcation Analysis of Cardiac Alternans Using δ -Decidability.},
	booktitle = {CMSB},
	year = {2016},
	publisher = {Springer},
	organization = {Springer},
	keywords = {dblp},
	isbn = {978-3-319-45176-3},
	url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html$\#$IslamBKCCFGJS16},
	author = {Islam, Md. Ariful and Byrne, Greg and Kong, Soonho and Clarke, Edmund M. and Cleaveland, Rance and Fenton, Flavio H. and Grosu, Radu and Jones, Paul L. and Smolka, Scott A.},
	editor = {Bartocci, Ezio and Li{\`o}, Pietro and Paoletti, Nicola}
}
