Work

Machine-Learned Correctness Properties, Runtime Verification, and Advance-Warning Oracles for Autonomous Systems

Year: 2024

Type: article

Source: Computer

DOI: 10.1109/mc.2024.3433669

Authors: Matthew Litton, Doron Drusinsky, London Bridget, James Bret Michael

Institution: Naval Postgraduate School

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4402743167

FWCI: 0.779

Cites: 36

Cited by: 4

Related to: 10