Login / Signup
Towards Reformulating Essence Specifications for Robustness.
Özgür Akgün
Alan M. Frisch
Ian P. Gent
Christopher Jefferson
Ian Miguel
Peter Nightingale
András Z. Salamon
Published in:
CoRR (2021)
Keyphrases
</>
computer vision
data mining
formal specification
delay insensitive
information systems
video sequences
expert systems
mobile robot
information retrieval systems
control flow
operational semantics
high robustness