Prediction and Control of Stochastic Agents Using Formal Methods.
Avraham RavivYuval GerberLiri BenzinouMichelle Aluf-MedinaHillel KuglerPublished in: FoMLAS@CAV (2023)
Keyphrases
- formal methods
- multi agent systems
- formal specification
- model checking
- multiagent systems
- formal analysis
- safety critical
- distributed control
- software agents
- multi agent
- software engineering
- reactive systems
- prediction accuracy
- model checker
- knowledge based systems
- control system
- cooperative
- provably correct
- process algebra
- intelligent agents
- action selection
- artificial intelligence
- autonomous agents
- mobile agents
- multiple agents
- agent architecture
- resource allocation
- knowledge base
- agent model
- database
- software systems
- building blocks
- dynamic environments
- distributed systems
- data model
- expert systems
- database systems
- concurrent systems
- databases