Sampling polynomial trajectories for LTL verification.
Daniel SelvaratnamMichael CantoniJ. M. DavorenIman ShamesPublished in: Theor. Comput. Sci. (2022)
Keyphrases
- moving object trajectories
- model checking
- bounded model checking
- trajectory data
- linear time temporal logic
- temporal logic
- formal verification
- verification method
- model checker
- moving objects
- linear temporal logic
- random sampling
- monte carlo
- transition systems
- sampling algorithm
- concurrent systems
- low order
- sample size
- fingerprint verification
- signature verification
- neural network
- formal methods
- multi agent systems
- decision trees