Alexandre Goldsztejn

Identifiers

No identifiers captured yet.

Papers (3)

1. HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis cs.LO · 2017 · author #2
2. Monitoring Temporal Properties using Interval Analysis cs.LO · 2016 · author #3
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