Name Card

Full name Familienname, Vorname

Cyranka, Jacek

Own Publications Eigene Publikationen

Results 1-7 of 7 (Search time: 0.019 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Grünbacher, Sophie ; Hasani, Ramin ; Lechner, Mathias ; Cyranka, Jacek ; Smolka, Scott A. ; Grosu, Radu	On The Verification of Neural ODEs with Stochastic Guarantees	Konferenzbeitrag Inproceedings	2021
	2		Grünbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Ariful ; Smolka, Scott A. ; Grosu, Radu	Lagrangian Reachtubes: The Next Generation	Preprint Preprint	2020
	3		Grünbacher, Sophie ; Hasani, Ramin ; Lechner, Mathias ; Cyranka, Jacek ; Smolka, Scott A. ; Grosu, Radu	On The Verification of Neural ODEs with Stochastic Guarantees	Preprint Preprint	2020
	4		Gruenbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu	Lagrangian Reachtubes: The Next Generation	Konferenzbeitrag Inproceedings	2020
	5		Gruenbacher, Sophie ; Cyranka, Jacek ; Islam, Md Ariful ; Tschaikowski, Max ; Smolka, Scott ; Grosu, Radu	Under the Hood of a Stand-Alone Lagrangian Reachability Tool	Artikel Article	2019
	6		Cyranka, Jacek ; Islam, Md. Ariful ; Smolka, Scott A. ; Gao, Sicun ; Grosu, Radu	Tight Continuous-Time Reachtubes for Lagrangian Reachability	Konferenzbeitrag Inproceedings	2018
	7		Cyranka, Jacek ; Islam, Md. Ariful ; Byrne, Greg ; Jones, Paul ; Smolka, Scott A. ; Grosu, Radu	Lagrangian Reachabililty	Konferenzbeitrag Inproceedings	2017