Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation.
Erwan MaheBoutheina BannourChristophe GastonArnault LapitrePascale Le GallPublished in: CoRR (2024)
Keyphrases
- mathematical models
- simulation models
- statistical models
- probabilistic model
- computational models
- agent based simulations
- real time
- interaction model
- agent interactions
- real robot
- social behavior
- finite state machines
- mathematical model
- virtual environment
- artificial neural networks
- reinforcement learning
- social networks
- machine learning