Calin Belta

Haghighi, I., Jones, A., Kong, Z., Bartocci, E., Grosu, R., & Belta, C. (2015). SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. Presented at the. New York, NY, USA: ACM. https://doi.org/10.1145/2728606.2728633

Gol, E. A., Bartocci, E., & Belta, C. (2014). A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems. CoRR, abs/1409.5671. Retrieved from http://arxiv.org/abs/1409.5671