Naoki Yonezaki

Identifiers

• name variant Naoki Yonezaki 0.60 · backfill

Papers (2)

1. Monitoring Temporal Properties using Interval Analysis cs.LO · 2016 · author #2
2. Monitoring Bounded LTL Properties Using Interval Analysis cs.LO · 2015 · author #2

Mentions

• 1506.01762 #2 · arxiv_oai · confidence 0.70 Naoki Yonezaki
• 1506.01762 #2 · backfill · confidence 0.70 Naoki Yonezaki

Frequent Coauthors

• Alexandre Goldsztejn 2 shared papers
• Daisuke Ishii 2 shared papers