Name Card

Full name Familienname, Vorname

Belta, Calin

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Alsalehi, Suhail ; Mehdipour, Noushin ; Bartocci, Ezio ; Belta, Calin	Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications	Konferenzbeitrag Inproceedings	2021
	2		Haghighi, Iman ; Mehdipour, Noushin ; Bartocci, Ezio ; Belta, Calin	Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics	Konferenzbeitrag Inproceedings	2019
	3		Bartocci, Ezio ; Aydin Gol, Ebru ; Haghighi, Iman ; Belta, Calin	A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks	Artikel Article	2018
	4		Haghighi, Iman ; Jones, Austin ; Kong, Zhaodan ; Bartocci, Ezio ; Gros, Radu ; Belta, Calin	SpaTeL	Konferenzbeitrag Inproceedings	2015
	5		Aydin Gol, Ebru ; Bartocci, Ezio ; Belta, Calin	A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems	Konferenzbeitrag Inproceedings	2014