Igor Cizelj

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Reactive Systems

Formal Specification Language

Top Venues

Int. J. Robotics Res.

Publications

Igor Cizelj, Calin Belta
Control of noisy differential-drive vehicles from time-bounded temporal logic specifications. Int. J. Robotics Res. 33 (8) (2014)
Igor Cizelj, Calin Belta
Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications. CoRR (2013)
Igor Cizelj, Calin Belta
Negotiating the probabilistic satisfaction of temporal logic motion specifications. IROS (2013)
Igor Cizelj, Calin Belta
Control of noisy differential-drive vehicles from time-bounded temporal logic specifications. ICRA (2013)
Igor Cizelj, Calin Belta
Control of Noisy Differential-Drive Vehicles from Time-Bounded Temporal Logic Specifications CoRR (2012)
Igor Cizelj, Calin Belta
Probabilistically safe control of noisy Dubins vehicles. IROS (2012)
Igor Cizelj, Calin Belta
Probabilistically Safe Control of Noisy Dubins Vehicles CoRR (2012)
Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta
Probabilistically Safe Vehicle Control in a Hostile Environment CoRR (2011)
Guilhem Richard, Hyeygjeon Chang, Igor Cizelj, Calin Belta, A. Agung Julius, Salomon Amar
Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses. CDC/ECC (2011)