A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras. - Nikolaos Kariotoglou; Davide Martino Raimondo; Sean Summers; John Lygeros (CDC/ECC, 2011)

Probabilistic certification of pan-tilt-zoom camera surveillance systems. - Davide Martino Raimondo; Nikolaos Kariotoglou; Sean Summers; John Lygeros (CDC/ECC, 2011)

Design of importance-map based randomized patrolling strategies. - Stephan M. Huck; Nikolaos Kariotoglou; Sean Summers; Davide Martino Raimondo; John Lygeros (COMPENG, 2012)

Hierarchical task allocation for multi-agent systems encoded by stochastic reachability specifications. - Nikolaos Kariotoglou; Sean Summers; Davide Martino Raimondo (ECC, 2013)

Approximate dynamic programming for stochastic reachability. - Nikolaos Kariotoglou; Sean Summers; Tyler H. Summers; Maryam Kamgarpour; John Lygeros (ECC, 2013)

Approximate dynamic programming via sum of squares programming. - Tyler H. Summers; Konstantin Kunz; Nikolaos Kariotoglou; Maryam Kamgarpour; Sean Summers; John Lygeros (ECC, 2013)

Model-based current limiting for traction control of an electric four-wheel drive race car. - Daniel Bohl; Nikolaos Kariotoglou; Andreas B. Hempel; Paul J. Goulart; John Lygeros (ECC, 2014)

A numerical approach to stochastic reach-avoid problems for Markov Decision Processes. - Nikolaos Kariotoglou; Maryam Kamgarpour; Tyler H. Summers; John Lygeros (CoRR, 2014)

On the computational complexity and generalization properties of multi-stage and recursive scenario programs. - Nikolaos Kariotoglou; Kostas Margellos; John Lygeros (CoRR, 2014)

Upper bounds for the reach-avoid probability via robust optimization. - Nikolaos Kariotoglou; Maryam Kamgarpour; Tyler H. Summers; John Lygeros (CoRR, 2015)

A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems. - Dalibor Drzajic; Nikolaos Kariotoglou; Maryam Kamgarpour; John Lygeros (ARCH@CPSWeek, 2016)

On the computational complexity and generalization properties of multi-stage and stage-wise coupled scenario programs. - Nikolaos Kariotoglou; Kostas Margellos; John Lygeros (Syst. Control. Lett., 2016)

The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes. - Nikolaos Kariotoglou; Maryam Kamgarpour; Tyler H. Summers; John Lygeros (J. Artif. Intell. Res., 2017)