Yenda Ramesh

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 6

Top Topics

Formal Specification

Epistemic Logic

Top Venues

Publications

Thamilselvam B, Yenda Ramesh, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao
Traffic Intersections as Agents: A model checking approach for analysing communicating agents. SAC (2023)
Yenda Ramesh, M. V. Panduranga Rao
Statistical Model Checking for Probabilistic Temporal Epistemic Logics. ICAART (1) (2022)
Yenda Ramesh, M. V. Panduranga Rao
Multi-Attribute Queries for Stochastic Multi Agent Systems over Short Time Horizons. ANNSIM (2021)
Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao
Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application. COMSNETS (2019)
Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao
DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs. PRIMA (2019)
Shiraj Arora, Abhishek Jain, Yenda Ramesh, M. V. Panduranga Rao
Specialist Cops Catching Robbers on Complex Networks. COMPLEX NETWORKS (1) (2018)