Publications (34)
Sort by Year (most recent)
Sort by Year (oldest first)
Sort by Most Cited
Sort by Recently Added
Sort (A-Z)
Sort (Z-A)
ConferencesDecentralized Multi Agent Deep Reinforcement Q-Learning for Intelligent Traffic Controller2023 | Springer Science and Business Media Deutschland GmbH- ConferencesGreedy Algorithms for Finding Entanglement Swap Paths in Quantum Networks2023 | Association for Computing Machinery
- ConferencesModel Checking for Entanglement Swapping2022 | Springer Science and Business Media Deutschland GmbH
ConferencesScalable Coordinated Intelligent Traffic Light Controller for Heterogeneous Traffic Scenarios Using UPPAAL STRATEGO2021 | Institute of Electrical and Electronics Engineers Inc.
ConferencesTraveling Agents and Indirect Epidemic Transmission2021 | Springer Science and Business Media Deutschland GmbH- ConferencesShort Duration Aggregate Statistical Model Checking for Multi-Agent Systems2021 | Springer Science and Business Media Deutschland GmbH
- ConferencesMulti-attribute queries for stochastic multi agent systems over short time horizons2021 | The Society for Modeling and Simulation International
- ConferencesStatistical Model Checking for Traffic Models2021 | Springer Science and Business Media Deutschland GmbH
- ConferencesMulti-Attribute Queries for Stochastic Multi Agent Systems over Short Time Horizons2021 | Institute of Electrical and Electronics Engineers Inc.
- ConferencesAnalyzing Quantum Network Routing Protocols through Time-Driven SimulationsB. Anvesh, A.B.S. Phaneendra, ..., , , ..., N. Patel (10 authors)2021 | IEEE Computer Society
- ConferencesAdiabatic Quantum Feature Selection for Sparse Linear Regression2021 | Springer Science and Business Media Deutschland GmbH
- ConferencesThe Bouquet Algorithm for Model Checking Unbounded until Properties2020 | Institute of Electrical and Electronics Engineers Inc.
- ConferencesCoordinated Intelligent Traffic Lights using Uppaal Stratego2019 | Institute of Electrical and Electronics Engineers Inc.
- ConferencesStatistical Model Checking for Dynamical Processes on Networks: A Healthcare Application2019 | Institute of Electrical and Electronics Engineers Inc.
- ConferencesEpiStrat: A tool for comparing strategies for tackling urban epidemic outbreaks2017 | Springer Verlag
