Sign in
Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems.
Doron Drusinsky
James Bret Michael
Matthew Litton
Published in:
ISSRE Workshops (2022)
Keyphrases
</>
automated verification
cooperative
distributed systems
asynchronous circuits
formal methods
model checking
reactive systems
computer systems
formal specification
expert systems
neural network
complex systems
data sets
intelligent systems
logic programs
model checker
face recognition