Traffic Intersections as Agents: A model checking approach for analysing communicating agents-Reference-Cited by-同舟云学术

Traffic Intersections as Agents: A model checking approach for analysing communicating agents

Published:2023-03-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

B Thamilselvam¹^ORCID,Ramesh Yenda¹^ORCID,Kalyanasundaram Subrahmanyam¹^ORCID,Rao M V Panduranga¹^ORCID

Affiliation:

1. IIT Hyderabad, Sangareddy, India

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3555776.3577720

Reference27 articles.

1. PMaude: Rewrite-based Specification Language for Probabilistic Object Systems;Agha Gul A.;Electron. Notes Theor. Comput. Sci.,2006

2. Model-checking algorithms for continuous-time Markov chains;Baier Christel;IEEE Transactions on software engineering,2003

3. Christel Baier and Joost-Pieter Katoen . 2008. Principles of Model Checking (Representation and Mind Series) . The MIT Press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking (Representation and Mind Series). The MIT Press.

4. Benoît Delahaye Axel Legay and Sean Sedwards. 2013. A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes. (2013). Benoît Delahaye Axel Legay and Sean Sedwards. 2013. A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes. (2013).

5. Carla Delgado and Mario Benevides . 2009 . Verification of epistemic properties in probabilistic multi-agent systems . In German Conference on Multiagent System Technologies. Springer, 16--28 . Carla Delgado and Mario Benevides. 2009. Verification of epistemic properties in probabilistic multi-agent systems. In German Conference on Multiagent System Technologies. Springer, 16--28.