Trajectory Based Verification Using Local Finite-Time Invariance.
A. Agung JuliusGeorge J. PappasPublished in: HSCC (2009)
Keyphrases
- model checking
- invariant features
- formal verification
- databases
- concurrent systems
- asynchronous circuits
- trajectory data
- formal methods
- social networks
- face detection
- discriminative power
- face verification
- information systems
- signature verification
- data mining
- finite automata
- neural network
- high security
- verification method
- real time
- moving object trajectories
- functional verification
- unit length