Safety Synthesis Sans Specification.

Roderick Bloem Hana Chockler Masoud Ebrahimi Dana Fisman Heinz Riener

Published in: CoRR (2020)

Keyphrases

program synthesis
high level
formal specification
formal methods
real time
e learning
reactive systems
relational databases
specification language
provably correct
modelling language
traffic accidents
operational semantics
natural language
search algorithm
image processing
computer vision