Login / Signup
Jonathon Emil Fleck
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Microsoft Windows
Previously Mentioned
Virtual Machine
Particle Filter
Top Venues
MoDELS
Softw. Syst. Model.
</>
Publications
</>
Michael Austin Langford
,
Kenneth H. Chan
,
Jonathon Emil Fleck
,
Philip K. McKinley
,
Betty H. C. Cheng
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty.
Softw. Syst. Model.
22 (5) (2023)
Michael Austin Langford
,
Kenneth H. Chan
,
Jonathon Emil Fleck
,
Philip K. McKinley
,
Betty H. C. Cheng
MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems.
MoDELS
(2021)
Betty H. C. Cheng
,
Robert Jared Clark
,
Jonathon Emil Fleck
,
Michael Austin Langford
,
Philip K. McKinley
AC-ROS: assurance case driven adaptation for the robot operating system.
MoDELS
(2020)