Safety Invariant Verification that Meets Engineers' Expectations.
Alexei IliasovLinas LaibinisDominic TaylorIlya LopatkinAlexander B. RomanovskyPublished in: RSSRail (2022)
Keyphrases
- computational intelligence
- model checking
- safety analysis
- computer scientists
- affine transformation
- formal verification
- expert systems
- affine invariant
- graduate students
- face verification
- invariance properties
- translation invariant
- invariant representations
- information retrieval
- false acceptance rate
- concurrent systems
- moment invariants
- image registration
- d objects
- computer vision
- genetic algorithm