Stochastic reachability for control of spacecraft relative motion. - Kendra Lesser; Meeko M. K. Oishi; Richard Scott Erwin (CDC, 2013)

Using linear system reliability to obtain theoretical understanding of wireless routing. - Trisha Biswas; Kendra Lesser; Rudra Dutta; Meeko M. K. Oishi (GLOBECOM, 2014)

Examining reliability of wireless multihop network routing with linear systems. - Trisha Biswas; Kendra Lesser; Rudra Dutta; Meeko M. K. Oishi (HotSoS, 2014)

Stochastic reachability based motion planning for multiple moving obstacle avoidance. - Nick Malone; Kendra Lesser; Meeko M. K. Oishi; Lydia Tapia (HSCC, 2014)

Aggressive Moving Obstacle Avoidance Using a Stochastic Reachable Set Based Potential Field. - Hao-Tien Chiang; Nick Malone; Kendra Lesser; Meeko M. K. Oishi; Lydia Tapia (WAFR, 2014)

Reachability for partially observable discrete time stochastic hybrid systems. - Kendra Lesser; Meeko Oishi (Autom., 2014)

Approximate Verification of Partially Observable Discrete Time Stochastic Hybrid Systems. - Kendra Lesser; Meeko M. K. Oishi (CoRR, 2014)

Controller Synthesis for Probabilistic Safety Specifications using Observers. - Kendra Lesser; Alessandro Abate (ADHS, 2015)

Computing probabilistic viable sets for partially observable systems using truncated gaussians and adaptive gridding. - Kendra Lesser; Meeko M. K. Oishi (ACC, 2015)

Finite state approximation for verification of partially observable stochastic hybrid systems. - Kendra Lesser; Meeko Oishi (HSCC, 2015)

Path-guided artificial potential fields with stochastic reachable sets for motion planning in highly dynamic environments. - Hao-Tien Chiang; Nick Malone; Kendra Lesser; Meeko Oishi; Lydia Tapia (ICRA, 2015)

Safety verification of output feedback controllers for nonlinear systems. - Kendra Lesser; Alessandro Abate (ECC, 2016)

Multi-objective optimal control with safety as a priority. - Kendra Lesser; Alessandro Abate (ICCPS, 2017)

Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems. - Kendra Lesser; Meeko Oishi (IEEE Trans. Autom. Control., 2017)

Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable Set-Based Potential Field. - Nick Malone; Hao-Tien Chiang; Kendra Lesser; Meeko Oishi; Lydia Tapia (IEEE Trans. Robotics, 2017)

ARCH-COMP18 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Sofie Haesaert; Arnd Hartmanns; Kendra Lesser; Meeko Oishi; Vignesh Sivaramakrishnan; Sadegh Soudjani; Cristian Ioan Vasile; Abraham P. Vinod (ARCH@ADHS, 2018)

Multiobjective Optimal Control With Safety as a Priority. - Kendra Lesser; Alessandro Abate (IEEE Trans. Control. Syst. Technol., 2018)