Ramtin Kermani

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Query Language For Xml

Linear Temporal Logic

Top Venues

Publications

Shashank Srinivas, Ramtin Kermani, Kangjin Kim, Yoshihiro Kobayashi, Georgios Fainekos
A graphical language for LTL motion and mission planning. ROBIO (2013)