Kevin M. Smith

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 10

Top Topics

Symbolic Model Checking

Dynamic Systems

Safety Analysis

Markov Decision Problems

Top Venues

IEEE Trans. Autom. Control.

IEEE Control. Syst. Lett.

IEEE Trans. Control. Syst. Technol.

Publications

Kevin M. Smith, Margaret P. Chapman
On Exponential Utility and Conditional Value-at-Risk as Risk-Averse Performance Criteria. IEEE Trans. Control. Syst. Technol. 31 (6) (2023)
Margaret P. Chapman, Michael Fauß, Kevin M. Smith
On Optimizing the Conditional Value-at-Risk of a Maximum Cost for Risk-Averse Safety Analysis. IEEE Trans. Autom. Control. 68 (6) (2023)
Margaret P. Chapman, Riccardo Bonalli, Kevin M. Smith, Insoon Yang, Marco Pavone, Claire J. Tomlin
Risk-Sensitive Safety Analysis Using Conditional Value-at-Risk. IEEE Trans. Autom. Control. 67 (12) (2022)
Margaret P. Chapman, Kevin M. Smith
Classical Risk-Averse Control for a Finite-Horizon Borel Model. IEEE Control. Syst. Lett. 6 (2022)
Kevin M. Smith, Margaret P. Chapman
On Exponential Utility and Conditional Value-at-Risk as Risk-Averse Performance Criteria. CoRR (2021)
Margaret P. Chapman, Riccardo Bonalli, Kevin M. Smith, Insoon Yang, Marco Pavone, Claire J. Tomlin
Risk-sensitive safety analysis using Conditional Value-at-Risk. CoRR (2021)
Margaret P. Chapman, Michael Fauss, H. Vincent Poor, Kevin M. Smith
Risk-sensitive safety analysis via state-space augmentation. CoRR (2021)
Margaret P. Chapman, Kevin M. Smith
Classical Risk-Averse Control for Finite-Horizon Borel Models. CoRR (2021)
Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar, Donggun Lee, Kevin M. Smith, Victoria Cheng, Jaime F. Fisac, Susmit Jha, Marco Pavone, Claire J. Tomlin
A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems. ACC (2019)
Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar, Donggun Lee, Kevin M. Smith, Victoria Cheng, Jaime F. Fisac, Susmit Jha, Marco Pavone, Claire J. Tomlin
A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems. CoRR (2019)
Ronald John Lofaro, Kevin M. Smith
Critique and Proposed Revision of Crew Resource Management (CRM): A New Paradigm. J. Inf. Technol. Res. 5 (2) (2012)