Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.
Alessio LomuscioBozena WoznaAndrzej ZbrzeznyPublished in: MoChArt (2006)
Keyphrases
- bounded model checking
- multi agent systems
- real time
- high speed
- formal verification
- control system
- fpga device
- multi agent
- linear temporal logic
- dedicated hardware
- model checking
- statistically significant
- theoretical framework
- intelligent agents
- low cost
- coalition formation
- real time systems
- multiagent systems
- search algorithm
- duty cycle