Get started
Author

Matthew L. Litton

Observed names: Litton, Matthew L., Matthew Litton
ORCID: 0009-0009-3345-6921
Observed ORCID: 0009-0009-3345-6921
OpenAlex ID: A5041434362
Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems
2023 · Doron Drusinsky, Matthew Litton, et al. · Computer · 8
Reliable Autonomous Vehicles: How Do We Get There?
2024 · Matthew L. Litton, Doron Drusinsky, et al. · IEEE reliability magazine · 5
Machine-Learned Correctness Properties, Runtime Verification, and Advance-Warning Oracles for Autonomous Systems
2024 · Matthew Litton, Doron Drusinsky, et al. · Computer · 4
Assuring Reliability of Autonomous Commercial Drones in the National Airspace
2024 · Matthew L. Litton, Doron Drusinsky, et al. · Annual Reliability and Maintainability Symposium (RAMS) · 4
Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems
2022 · Doron Drusinsky, James Bret Michael, et al. · IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) · 3
Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties
2022 · Doron Drusinsky, Matthew Litton, et al. · Computer · 3
Discovering Decision Manifolds to Assure Trusted Autonomous Systems
2025 · Matthew Litton, Doron Drusinsky, et al. · IEEE Systems Journal · 1
PDF
An Algorithm for Search and Rescue Using Uncrewed Vehicles
2026 · Matthew L. Litton, Doron Drusinsky, et al. · Computer
Method of Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems
2026 · Drusinsky, Doron, Litton, Matthew L., et al. · Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School)
From Shortest Path to Safest Path
2026 · Doron Drusinsky, Armon Barton, et al. · Computer
Works count: 10
Citation count: 28
H-index: 4
I10-index:
Year
Topic
Type