Traffic Intersections as Agents: A model checking approach for analysing communicating agents
Abstract
References
Index Terms
- Traffic Intersections as Agents: A model checking approach for analysing communicating agents
Recommendations
Statistical Model Checking for Traffic Models
Formal Methods: Foundations and ApplicationsAbstractStatistical Model Checking (SMC) is a popular technique in formal methods for analyzing large stochastic systems. As opposed to the expensive but exact model checking algorithms, this technique allows for a trade-off between accuracy and running ...
Model Checking Rational Agents
The authors use model-checking techniques to automatically verify multiagent systems written in a logic-based agent-oriented programming language. The approach is to translate the language into the input notations of existing model checkers. Furthermore,...
Model checking probabilistic social commitments for intelligent agent communication
Interaction among autonomous agents in Multi-Agent Systems (MASs) is a key aspect for agents to coordinate with one another. Social approaches, as opposed to the mental approaches, have recently received a considerable attention in the area of agent ...
Comments
Information & Contributors
Information
Published In
- Conference Chairs:
- Jiman Hong,
- Maart Lanperne,
- Program Chairs:
- Juw Won Park,
- Tomas Cerny,
- Publication Chair:
- Hossain Shahriar
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
Acceptance Rates
Upcoming Conference
- Sponsor:
- sigapp
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 30Total Downloads
- Downloads (Last 12 months)8
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in