SAT-Based BMC Approach to Verifying Real-Time Properties of Multi-Agent Systems

2018 ◽  
Author(s):  
Agnieszka M. Zbrzezny ◽  
Andrzej Zbrzezny
Keyword(s):  
Real Time ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent

scholarly journals SIMBA: An Approach for Real-Time Multi-agent Systems

2002 ◽  
pp. 282-293 ◽  
Author(s):  
V. Julian ◽  
C. Carrascosa ◽  
M. Rebollo ◽  
J. Soler ◽  
V. Botti
Keyword(s):  
Real Time ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent

scholarly journals Real-time multi-agent systems for telerehabilitation scenarios

2019 ◽  
Vol 96 ◽  
pp. 217-231 ◽  
Author(s):  
Davide Calvaresi ◽  
Mauro Marinoni ◽  
Aldo Franco Dragoni ◽  
Roger Hilfiker ◽  
Michael Schumacher
Keyword(s):  
Real Time ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent

scholarly journals A Distributed Framework for Real Time Path Planning in Practical Multi-agent Systems

2017 ◽  
Vol 50 (1) ◽  
pp. 10626-10631 ◽  
Author(s):  
Mohamed Abdelkader ◽  
Hassan Jaleel ◽  
Jeff S. Shamma
Keyword(s):  
Path Planning ◽  
Real Time ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Time Path ◽  
Distributed Framework ◽  
Multi Agent
Sign in / Sign up

Export Citation Format

Share Document