Adam Duracz

From MaRDI portal
Person:254167



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Safe \& robust reachability analysis of hybrid systems
Theoretical Computer Science
2018-09-24Paper
Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
Nonlinear Analysis. Hybrid Systems
2016-03-08Paper


Research outcomes over time


This page was built for person: Adam Duracz