Kendra Lesser

18 papers A* 1B 1C 2Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2018 — conf
ARCH-COMP18 Category Report: Stochastic Modelling.
ARCH@ADHS
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
2018 J jnl
Multiobjective Optimal Control With Safety as a Priority.
IEEE Trans. Control. Syst. Technol.
Kendra Lesser, Alessandro Abate
2017 J jnl
Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems.
IEEE Trans. Autom. Control.
Kendra Lesser, Meeko Oishi
2017 J jnl
Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable Set-Based Potential Field.
IEEE Trans. Robotics
Nick Malone, Hao-Tien Chiang, Kendra Lesser, Meeko Oishi, Lydia Tapia
2017 — conf
Multi-objective optimal control with safety as a priority.
ICCPS
Kendra Lesser, Alessandro Abate
2016 J jnl
Safety Verification of Output Feedback Controllers for Nonlinear Systems.
CoRR
Kendra Lesser, Alessandro Abate
2016 — conf
Safety verification of output feedback controllers for nonlinear systems.
ECC
Kendra Lesser, Alessandro Abate
2015 C conf
Computing probabilistic viable sets for partially observable systems using truncated gaussians and adaptive gridding.
ACC
Kendra Lesser, Meeko M. K. Oishi
2015 — conf
Controller Synthesis for Probabilistic Safety Specifications using Observers.
ADHS
Kendra Lesser, Alessandro Abate
2015 — conf
Finite state approximation for verification of partially observable stochastic hybrid systems.
HSCC
Kendra Lesser, Meeko Oishi
2015 A* conf
Path-guided artificial potential fields with stochastic reachable sets for motion planning in highly dynamic environments.
ICRA
Hao-Tien Chiang, Nick Malone, Kendra Lesser, Meeko Oishi, Lydia Tapia
2014 C conf
Aggressive Moving Obstacle Avoidance Using a Stochastic Reachable Set Based Potential Field.
WAFR
Hao-Tien Chiang, Nick Malone, Kendra Lesser, Meeko M. K. Oishi, Lydia Tapia
2014 J jnl
Approximate Verification of Partially Observable Discrete Time Stochastic Hybrid Systems.
CoRR
Kendra Lesser, Meeko M. K. Oishi
2014 — conf
Examining reliability of wireless multihop network routing with linear systems.
HotSoS
Trisha Biswas, Kendra Lesser, Rudra Dutta, Meeko M. K. Oishi
2014 J jnl
Reachability for partially observable discrete time stochastic hybrid systems.
Autom.
Kendra Lesser, Meeko Oishi
2014 — conf
Stochastic reachability based motion planning for multiple moving obstacle avoidance.
HSCC
Nick Malone, Kendra Lesser, Meeko M. K. Oishi, Lydia Tapia
2014 B conf
Using linear system reliability to obtain theoretical understanding of wireless routing.
GLOBECOM
Trisha Biswas, Kendra Lesser, Rudra Dutta, Meeko M. K. Oishi
2013 — conf
Stochastic reachability for control of spacecraft relative motion.
CDC
Kendra Lesser, Meeko M. K. Oishi, Richard Scott Erwin