Login / Signup
Mirai Nishioka
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Satisfiability Problem
Temporal Logic
Dynamic Constraints
Temporally Extended Goals
Top Venues
ICRA
</>
Publications
</>
Wenliang Liu
,
Mirai Nishioka
,
Calin Belta
Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks.
ICRA
(2023)