Minimal Assumptions Refinement for GR(1) Specifications.

Davide G. Cavezza Dalal Alrajeh András György

Published in: CoRR (2019)

Keyphrases

high level
website
refinement process
database
data mining
decision making
image processing
three dimensional
multiscale
formal specification
asynchronous circuits
simplifying assumptions
restrictive assumptions