Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses. - Guilhem Richard; Hyeygjeon Chang; Igor Cizelj; Calin Belta; A. Agung Julius; Salomon Amar (CDC/ECC, 2011)

Probabilistically Safe Vehicle Control in a Hostile Environment - Igor Cizelj; Xu Chu Ding; Morteza Lahijanian; Alessandro Pinto; Calin Belta (CoRR, 2011)

Probabilistically safe control of noisy Dubins vehicles. - Igor Cizelj; Calin Belta (IROS, 2012)

Negotiating the probabilistic satisfaction of temporal logic motion specifications. - Igor Cizelj; Calin Belta (IROS, 2013)

Control of noisy differential-drive vehicles from time-bounded temporal logic specifications. - Igor Cizelj; Calin Belta (Int. J. Robotics Res., 2014)