( en | de | ru )

 

Disambiguation of "Rao, M. V. Panduranga"

Author of the publication

copydeleteadd this publication to your clipboard
DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs.

, , and . PRIMA, volume 11873 of Lecture Notes in Computer Science, page 627-634. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

V Ramgopal Rao

Venkatasubbaiah Panduranga

Panduranga Reddy Alemela

Nidamboor Vasanth Rao

Boloor Ramananda Rao

 

Other publications of authors with the same name

Probabilistic Model Checking of Incomplete Models., and . CoRR, (2017)Generalized Counters and Reversal Complexity.. Int. J. Found. Comput. Sci., 19 (6): 1403-1412 (2008)A polynomial time parallel algorithm for graph isomorphism using a quasipolynomial number of processors., , and . CoRR, (2020)Traveling Agents and Indirect Epidemic Transmission., and . KES-AMSTA, volume 241 of Smart Innovation, Systems and Technologies, page 371-383. Springer, (2021)EpiStrat: A Tool for Comparing Strategies for Tackling Urban Epidemic Outbreaks., , and . ICSH, volume 10347 of Lecture Notes in Computer Science, page 256-267. Springer, (2017)Interference automata.. Theor. Comput. Sci., 403 (1): 89-103 (2008)Traffic Intersections as Agents: A model checking approach for analysing communicating agents., , , and . SAC, page 109-118. ACM, (2023)Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems., and . PRIMA, volume 12568 of Lecture Notes in Computer Science, page 420-427. Springer, (2020)Statistical Model Checking for Probabilistic Temporal Epistemic Logics., and . ICAART (1), page 53-63. SCITEPRESS, (2022)Development of Scheduler for Real Time and Embedded System Domain., , , and . AINA Workshops, page 1-6. IEEE Computer Society, (2008)