scholarly journals Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study

2015 ◽  
Vol 08 (02) ◽  
pp. 43-50 ◽  
Author(s):  
Nadeem Akhtar ◽  
Muhammad Nauman
Keyword(s):  
Model Checking ◽  
Timed Automata ◽  
Multi Agent System ◽  
Agent System ◽  
System A ◽  
Multi Agent

Simulating multi-objective land use optimization allocation using Multi-agent system—A case study in Changsha, China

2016 ◽  
Vol 320 ◽  
pp. 334-347 ◽  
Author(s):  
Honghui Zhang ◽  
Yongnian Zeng ◽  
Xiaobin Jin ◽  
Bangrong Shu ◽  
Yinkang Zhou ◽  
...  
Keyword(s):  
Land Use ◽  
Multi Agent System ◽  
Agent System ◽  
Multi Objective ◽  
System A ◽  
Land Use Optimization ◽  
Multi Agent ◽  
Optimization Allocation
Sign in / Sign up

Export Citation Format

Share Document