Login / Signup
Synthesizing Approximate Implementations for Unrealizable Specifications.
Rayna Dimitrova
Bernd Finkbeiner
Hazem Torfah
Published in:
CoRR (2020)
Keyphrases
</>
efficient implementation
data model
exact solution
delay insensitive
neural network
genetic algorithm
decision making
decision trees
high level
expert systems
formal specification
formal verification
concurrent systems