Sampling Polynomial Trajectories for LTL Verification.
Daniel SelvaratnamMichael CantoniJ. M. DavorenIman ShamesPublished in: CoRR (2021)
Keyphrases
- model checking
- bounded model checking
- linear time temporal logic
- temporal logic
- formal verification
- verification method
- model checker
- linear temporal logic
- moving object trajectories
- random sampling
- monte carlo
- trajectory data
- low order
- moving objects
- formal methods
- concurrent systems
- transition systems
- sample size
- sampling methods
- data sets
- multiple targets
- sampling algorithm
- configuration space
- face verification
- proposal distribution
- motion patterns
- image sequences
- neural network