Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

Michal Konečný, Walid Taha, Ferenc A. Bartha, Jan Duracz, Adam Duracz*, Aaron D. Ames

*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

Search results