Login / Signup
Kevin M. Smith
ORCID
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
CoRR
IEEE Trans. Autom. Control.
IEEE Control. Syst. Lett.
IEEE Trans. Control. Syst. Technol.
</>
Publications
</>