Yenda Ramesh

According to our database, Yenda Ramesh authored at least 7 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

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

Thamilselvam B, Yenda Ramesh, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2022

Statistical Model Checking for Probabilistic Temporal Epistemic Logics.

Yenda Ramesh, M. V. Panduranga Rao

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

2021

Multi-Attribute Queries for Stochastic Multi Agent Systems over Short Time Horizons.

Yenda Ramesh, M. V. Panduranga Rao

Proceedings of the Annual Modeling and Simulation Conference, 2021

2020

Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems.

Ramesh Yenda, M. V. Panduranga Rao

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

2019

DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs.

Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application.

Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao

Proceedings of the 11th International Conference on Communication Systems & Networks, 2019

2018

Specialist Cops Catching Robbers on Complex Networks.

Shiraj Arora, Abhishek Jain, Yenda Ramesh, M. V. Panduranga Rao

Proceedings of the Complex Networks and Their Applications VII, 2018