Login / Signup
Matthew Litton
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Handheld Devices
Model Checker
Autonomous Systems
Expert Systems
Top Venues
Computer
CoRR
ISSRE Workshops
</>
Publications
</>
Matthew Litton
,
Doron Drusinsky
,
James Bret Michael
Continuous Assurance of Autonomous Vehicle Behavior Through Machine Learned Correctness Properties.
CoRR
(2024)
Doron Drusinsky
,
Matthew Litton
,
James Bret Michael
Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems.
Computer
56 (7) (2023)
Doron Drusinsky
,
Matthew Litton
,
James Bret Michael
Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties.
Computer
55 (2) (2022)
Doron Drusinsky
,
James Bret Michael
,
Matthew Litton
Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems.
ISSRE Workshops
(2022)