Alexandre Goldsztejn
Identifiers
No identifiers captured yet.
Papers (3)
- HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis cs.LO · 2017 · author #2
- Monitoring Temporal Properties using Interval Analysis cs.LO · 2016 · author #3
- Monitoring Bounded LTL Properties Using Interval Analysis cs.LO · 2015 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Daisuke Ishii 3 shared papers
- Naoki Yonezaki 2 shared papers