M. V. Panduranga Rao

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 30

Top Topics

Statistical Model

Verification Method

Top Venues

Publications

Soumitri Kadambi, M. V. Panduranga Rao
Constrained Quadratic Model Formulations for MDCVRPTW: Quantum Vs Classical. COMSNETS (2024)
Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao
Decentralized Multi Agent Deep Reinforcement Q-Learning for Intelligent Traffic Controller. AIAI (1) (2023)
Anoop Kumar Pandey, Anubhav Srivastava, Shuhul Handoo, Bheemarjuna Reddy Tamma, M. V. Panduranga Rao
Greedy Algorithms for Finding Entanglement Swap Paths in Quantum Networks. ICDCN (2023)
Krishn Vishwas Kher, Ishan Joshi, Bharat Chandra Mukkavalli, Lei Zhang, M. V. Panduranga Rao
Automatic Diagnosis of Quantum Software Bug Fix Motifs. SEKE (2023)
Thamilselvam B, Yenda Ramesh, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao
Traffic Intersections as Agents: A model checking approach for analysing communicating agents. SAC (2023)
Pranav K. Nayak, Krishn Vishwas Kher, Bharat Chandra Mukkavalli, M. V. Panduranga Rao, Lei Zhang
Q-PAC: Automated Detection of Quantum Bug-Fix Patterns. CoRR (2023)
Krishna V. Palem, Duc Hung Pham, M. V. Panduranga Rao
Quantum learning of concentrated Boolean functions. Quantum Inf. Process. 21 (7) (2022)
Yenda Ramesh, M. V. Panduranga Rao
Statistical Model Checking for Probabilistic Temporal Epistemic Logics. ICAART (1) (2022)
Surya Sai Teja Desu, Anubhav Srivastava, M. V. Panduranga Rao
Model Checking for Entanglement Swapping. FORMATS (2022)
Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao
Scalable Coordinated Intelligent Traffic Light Controller for Heterogeneous Traffic Scenarios Using UPPAAL STRATEGO. COMSNETS (2021)
B. Anvesh, ABS Phaneendra, M. Sai Anuraag, J. Sai Nishith, Anubhav Srivastava, A. Antony Franklin, M. V. Panduranga Rao, K. Dhanush, Devendra Mishra, Nixon Patel
Analyzing Quantum Network Routing Protocols through Time-Driven Simulations. ANTS (2021)
Rajesh Kumar Pandey, M. V. Panduranga Rao
Traveling Agents and Indirect Epidemic Transmission. KES-AMSTA (2021)
Anubhav Srivastava, Devendra Mishra, Madhuri Annavazzala, A. Antony Franklin, Nixon Patel, M. V. Panduranga Rao
Short-cuts on quantum network simulators. ANTS (2021)
Surya Sai Teja Desu, P. K. Srijith, M. V. Panduranga Rao, Naveen Sivadasan
Adiabatic Quantum Feature Selection for Sparse Linear Regression. ICCS (6) (2021)
Yenda Ramesh, M. V. Panduranga Rao
Multi-Attribute Queries for Stochastic Multi Agent Systems over Short Time Horizons. ANNSIM (2021)
Surya Sai Teja Desu, P. K. Srijith, M. V. Panduranga Rao, Naveen Sivadasan
Adiabatic Quantum Feature Selection for Sparse Linear Regression. CoRR (2021)
Thamilselvam B, Subrahmanyam Kalyanasundaram, Shubham Parmar, M. V. Panduranga Rao
Statistical Model Checking for Traffic Models. SBMF (2021)
Shiraj Arora, M. V. Panduranga Rao
The Bouquet Algorithm for Model Checking Unbounded Until Properties. TASE (2020)
Ramesh Yenda, M. V. Panduranga Rao
Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems. PRIMA (2020)
Duc Hung Pham, Krishna V. Palem, M. V. Panduranga Rao
A polynomial time parallel algorithm for graph isomorphism using a quasipolynomial number of processors. CoRR (2020)
Shiraj Arora, M. V. Panduranga Rao
The Bouquet Algorithm for Model Checking Unbounded Until. CoRR (2019)
Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao
Coordinated Intelligent Traffic Lights using Uppaal Stratego. COMSNETS (2019)
Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao
Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application. COMSNETS (2019)
Shiraj Arora, M. V. Panduranga Rao
Model Checking Branching Time Properties for Incomplete Markov Chains. SPIN (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)
Shiraj Arora, M. V. Panduranga Rao
Probabilistic Model Checking of Incomplete Models. CoRR (2017)
Radhiya Arsekar, Durga Keerthi Mandarapu, M. V. Panduranga Rao
EpiStrat: A Tool for Comparing Strategies for Tackling Urban Epidemic Outbreaks. ICSH (2017)
Shiraj Arora, M. V. Panduranga Rao
Probabilistic Model Checking of Incomplete Models. ISoLA (1) (2016)
Shiraj Arora, Ankit Rathor, M. V. Panduranga Rao
Statistical Model Checking of Opportunistic Network Protocols. AINTEC (2015)
M. V. Panduranga Rao, K. Chandrashekar Shet
Assessment of Response Time for New Multi Level Feedback Queue Scheduler. CoRR (2014)
Sudarshan S., Kayathi Rohith, K. P. Sai Krishna, M. V. Panduranga Rao
AutoHS: The Intelligent Hospital Search. INCoS (2014)
M. V. Panduranga Rao, K. Chandrashekar Shet
A Research in Real Time Scheduling Policy for Embedded System Domain. CLEI Electron. J. 12 (2) (2009)
M. V. Panduranga Rao
Interference automata. Theor. Comput. Sci. 403 (1) (2008)
M. V. Panduranga Rao, K. Chandrashekar Shet, R. Balakrishna, K. Roopa
Development of Scheduler for Real Time and Embedded System Domain. AINA Workshops (2008)
M. V. Panduranga Rao, V. Vinay
Quantum Finite Automata and Weighted Automata. J. Autom. Lang. Comb. 13 (2) (2008)
M. V. Panduranga Rao
Generalized Counters and Reversal Complexity. Int. J. Found. Comput. Sci. 19 (6) (2008)
M. V. Panduranga Rao
Interference Automata CoRR (2007)
M. V. Panduranga Rao
Bounding Run-Times of Local Adiabatic Algorithms. TAMC (2007)
M. V. Panduranga Rao
Generalized Counters and Reversal Complexity. TAMC (2006)
M. V. Panduranga Rao, V. Vinay
Quantum Finite Automata and Weighted Automata. ACiD (2005)
M. V. Panduranga Rao
One Generalization of Counters CoRR (2004)