BibTeX records: Pavithra Prabhakar

download as .bib file

@article{DBLP:journals/tcad/PDDLP23,
  author       = {Habeeb P and
                  Nabarun Deka and
                  Deepak D'Souza and
                  Kamal Lodaya and
                  Pavithra Prabhakar},
  title        = {Verification of Camera-Based Autonomous Systems},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {42},
  number       = {10},
  pages        = {3450--3463},
  year         = {2023},
  url          = {https://doi.org/10.1109/TCAD.2023.3240131},
  doi          = {10.1109/TCAD.2023.3240131},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/PDDLP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BondalakuntaP23,
  author       = {Vishnu Bondalakunta and
                  Pavithra Prabhakar},
  title        = {Star Based Reachability Analysis of Interval Neural Networks},
  booktitle    = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
                  December 13-15, 2023},
  pages        = {7982--7987},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/CDC49753.2023.10383228},
  doi          = {10.1109/CDC49753.2023.10383228},
  timestamp    = {Mon, 29 Jan 2024 17:30:32 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/BondalakuntaP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/LalP23,
  author       = {Ratan Lal and
                  Pavithra Prabhakar},
  title        = {Abstraction-Based Safety Analysis of Linear Dynamical Systems with
                  Neural Network Controllers},
  booktitle    = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
                  December 13-15, 2023},
  pages        = {8006--8011},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/CDC49753.2023.10383593},
  doi          = {10.1109/CDC49753.2023.10383593},
  timestamp    = {Mon, 29 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/LalP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DasP23,
  author       = {Spandan Das and
                  Pavithra Prabhakar},
  title        = {Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise
                  Constant Derivative Systems},
  booktitle    = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
                  2023},
  pages        = {21:1--21:2},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3575870.3589546},
  doi          = {10.1145/3575870.3589546},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/DasP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ChotonJP23,
  author       = {Jahid Chowdhury Choton and
                  Mithila Jugulam and
                  Pavithra Prabhakar},
  editor       = {Sayan Mitra and
                  Nalini Venkatasubramanian and
                  Abhishek Dubey and
                  Lu Feng and
                  Mahsa Ghasemi and
                  Jonathan Sprinkle},
  title        = {An End-to-End Multi-Robot Framework for Weed Control in Agricultural
                  Fields},
  booktitle    = {Proceedings of the {ACM/IEEE} 14th International Conference on Cyber-Physical
                  Systems, {ICCPS} 2023, (with CPS-IoT Week 2023), San Antonio, TX,
                  USA, May 9-12, 2023},
  pages        = {243--244},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3576841.3589617},
  doi          = {10.1145/3576841.3589617},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/ChotonJP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ChotonP23,
  author       = {Jahid Chowdhury Choton and
                  Pavithra Prabhakar},
  title        = {Optimal Multi-Robot Coverage Path Planning for Agricultural Fields
                  using Motion Dynamics},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2023, London, UK, May 29 - June 2, 2023},
  pages        = {11817--11823},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICRA48891.2023.10160265},
  doi          = {10.1109/ICRA48891.2023.10160265},
  timestamp    = {Tue, 08 Aug 2023 10:24:29 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/ChotonP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-02647,
  author       = {Spandan Das and
                  Pavithra Prabhakar},
  title        = {Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic
                  Hybrid Systems},
  journal      = {CoRR},
  volume       = {abs/2304.02647},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2304.02647},
  doi          = {10.48550/ARXIV.2304.02647},
  eprinttype    = {arXiv},
  eprint       = {2304.02647},
  timestamp    = {Tue, 18 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-02647.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/DasP22,
  author       = {Spandan Das and
                  Pavithra Prabhakar},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Marco Paolieri},
  title        = {Stability Analysis of Planar Probabilistic Piecewise Constant Derivative
                  Systems},
  booktitle    = {Quantitative Evaluation of Systems - 19th International Conference,
                  {QEST} 2022, Warsaw, Poland, September 12-16, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13479},
  pages        = {192--213},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16336-4\_10},
  doi          = {10.1007/978-3-031-16336-4\_10},
  timestamp    = {Tue, 21 Mar 2023 20:54:44 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/DasP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Prabhakar22,
  author       = {Pavithra Prabhakar},
  editor       = {Bernd Finkbeiner and
                  Thomas Wies},
  title        = {Bisimulations for Neural Network Reduction},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 23rd International
                  Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13182},
  pages        = {285--300},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-94583-1\_14},
  doi          = {10.1007/978-3-030-94583-1\_14},
  timestamp    = {Wed, 19 Jan 2022 09:36:10 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/Prabhakar22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-02672,
  author       = {Spandan Das and
                  Pavithra Prabhakar},
  title        = {Bayesian Statistical Model Checking for Multi-agent Systems using
                  HyperPCTL},
  journal      = {CoRR},
  volume       = {abs/2209.02672},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.02672},
  doi          = {10.48550/ARXIV.2209.02672},
  eprinttype    = {arXiv},
  eprint       = {2209.02672},
  timestamp    = {Mon, 26 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-02672.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/Prabhakar021,
  author       = {Pavithra Prabhakar and
                  Jun Liu},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Simulation Relations for Abstraction-based Robust Control of Hybrid
                  Dynamical Systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {115--120},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.484},
  doi          = {10.1016/J.IFACOL.2021.08.484},
  timestamp    = {Tue, 14 Sep 2021 14:28:35 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/Prabhakar021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LalMHKP21,
  author       = {Ratan Lal and
                  Aaron McKinnis and
                  Dustin Hauptman and
                  Shawn Keshmiri and
                  Pavithra Prabhakar},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Formally Verified Switching Logic for Recoverability of Aircraft Controller},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12759},
  pages        = {566--579},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81685-8\_27},
  doi          = {10.1007/978-3-030-81685-8\_27},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LalMHKP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/LalP21,
  author       = {Ratan Lal and
                  Pavithra Prabhakar},
  title        = {Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2021, Xi'an, China, May 30 - June 5, 2021},
  pages        = {7965--7971},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICRA48506.2021.9561972},
  doi          = {10.1109/ICRA48506.2021.9561972},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/LalP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08265,
  author       = {Spandan Das and
                  Pavithra Prabhakar},
  title        = {Probabilistic Stability Analysis of Planar Robots with Piecewise Constant
                  Derivative Dynamics},
  journal      = {CoRR},
  volume       = {abs/2109.08265},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.08265},
  eprinttype    = {arXiv},
  eprint       = {2109.08265},
  timestamp    = {Wed, 22 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-08265.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-03726,
  author       = {Pavithra Prabhakar},
  title        = {Bisimulations for Neural Network Reduction},
  journal      = {CoRR},
  volume       = {abs/2110.03726},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.03726},
  eprinttype    = {arXiv},
  eprint       = {2110.03726},
  timestamp    = {Thu, 21 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-03726.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LalP20,
  author       = {Ratan Lal and
                  Pavithra Prabhakar},
  editor       = {Tulika Mitra and
                  Andreas Gerstlauer},
  title        = {Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress},
  booktitle    = {20th International Conference on Embedded Software, {EMSOFT} 2020,
                  Singapore, September 20-25, 2020},
  pages        = {34--36},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/EMSOFT51651.2020.9244026},
  doi          = {10.1109/EMSOFT51651.2020.9244026},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/LalP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/LalDP20,
  author       = {Ratan Lal and
                  Weikang Duan and
                  Pavithra Prabhakar},
  title        = {Bayesian Statistical Model Checking for Continuous Stochastic Logic},
  booktitle    = {18th {ACM/IEEE} International Conference on Formal Methods and Models
                  for System Design, {MEMOCODE} 2020, Jaipur, India, December 2-4, 2020},
  pages        = {1--11},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/MEMOCODE51338.2020.9315001},
  doi          = {10.1109/MEMOCODE51338.2020.9315001},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/LalDP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BonakdarpourPS20,
  author       = {Borzoo Bonakdarpour and
                  Pavithra Prabhakar and
                  C{\'{e}}sar S{\'{a}}nchez},
  editor       = {Ritchie Lee and
                  Susmit Jha and
                  Anastasia Mavridou},
  title        = {Model Checking Timed Hyperproperties in Discrete-Time Systems},
  booktitle    = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
                  Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12229},
  pages        = {311--328},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-55754-6\_18},
  doi          = {10.1007/978-3-030-55754-6\_18},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/BonakdarpourPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/EzudheenAPDD20,
  author       = {P. Ezudheen and
                  Zahra Rahimi Afzal and
                  Pavithra Prabhakar and
                  Deepak D'Souza and
                  Meenakshi D'Souza},
  editor       = {Ritchie Lee and
                  Susmit Jha and
                  Anastasia Mavridou},
  title        = {Verifying Band Convergence for Sampled Control Systems},
  booktitle    = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
                  Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12229},
  pages        = {329--349},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-55754-6\_19},
  doi          = {10.1007/978-3-030-55754-6\_19},
  timestamp    = {Mon, 10 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/EzudheenAPDD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/SotoP20,
  author       = {Miriam Garc{\'{\i}}a Soto and
                  Pavithra Prabhakar},
  title        = {Hybridization for Stability Verification of Nonlinear Switched Systems},
  booktitle    = {41st {IEEE} Real-Time Systems Symposium, {RTSS} 2020, Houston, TX,
                  USA, December 1-4, 2020},
  pages        = {244--256},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/RTSS49844.2020.00031},
  doi          = {10.1109/RTSS49844.2020.00031},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtss/SotoP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-09527,
  author       = {Pavithra Prabhakar and
                  Zahra Rahimi Afzal},
  title        = {Abstraction based Output Range Analysis for Neural Networks},
  journal      = {CoRR},
  volume       = {abs/2007.09527},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.09527},
  eprinttype    = {arXiv},
  eprint       = {2007.09527},
  timestamp    = {Tue, 28 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-09527.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-09626,
  author       = {Zahra Rahimi Afzal and
                  Pavana Prabhakar and
                  Pavithra Prabhakar},
  title        = {Optimal tool path planning for 3D printing with spatio-temporal and
                  thermal constraints},
  journal      = {CoRR},
  volume       = {abs/2007.09626},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.09626},
  eprinttype    = {arXiv},
  eprint       = {2007.09626},
  timestamp    = {Tue, 28 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-09626.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-12831,
  author       = {Atreyee Kundu and
                  Pavithra Prabhakar},
  title        = {Learning event-driven switched linear systems},
  journal      = {CoRR},
  volume       = {abs/2009.12831},
  year         = {2020},
  url          = {https://arxiv.org/abs/2009.12831},
  eprinttype    = {arXiv},
  eprint       = {2009.12831},
  timestamp    = {Wed, 30 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-12831.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/LalP19,
  author       = {Ratan Lal and
                  Pavithra Prabhakar},
  title        = {Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic
                  Hybrid Systems},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {18},
  number       = {5s},
  pages        = {98:1--98:23},
  year         = {2019},
  url          = {https://doi.org/10.1145/3358217},
  doi          = {10.1145/3358217},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/LalP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/LeongP19,
  author       = {Yoke Peng Leong and
                  Pavithra Prabhakar},
  title        = {Optimal Path Planning for {\(\omega\)}-regular Objectives with Abstraction-Refinement},
  booktitle    = {International Conference on Robotics and Automation, {ICRA} 2019,
                  Montreal, QC, Canada, May 20-24, 2019},
  pages        = {7683--7689},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICRA.2019.8794209},
  doi          = {10.1109/ICRA.2019.8794209},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/LeongP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/LalP19,
  author       = {Ratan Lal and
                  Pavithra Prabhakar},
  editor       = {Partha S. Roop and
                  Naijun Zhan and
                  Sicun Gao and
                  Pierluigi Nuzzo},
  title        = {Compositional construction of bounded error over-approximations of
                  acyclic interconnected continuous dynamical systems},
  booktitle    = {Proceedings of the 17th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, {MEMOCODE} 2019, La Jolla, CA,
                  USA, October 9-11, 2019},
  pages        = {12:1--12:5},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3359986.3361210},
  doi          = {10.1145/3359986.3361210},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/LalP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/PrabhakarA19,
  author       = {Pavithra Prabhakar and
                  Zahra Rahimi Afzal},
  editor       = {Hanna M. Wallach and
                  Hugo Larochelle and
                  Alina Beygelzimer and
                  Florence d'Alch{\'{e}}{-}Buc and
                  Emily B. Fox and
                  Roman Garnett},
  title        = {Abstraction based Output Range Analysis for Neural Networks},
  booktitle    = {Advances in Neural Information Processing Systems 32: Annual Conference
                  on Neural Information Processing Systems 2019, NeurIPS 2019, December
                  8-14, 2019, Vancouver, BC, Canada},
  pages        = {15762--15772},
  year         = {2019},
  url          = {https://proceedings.neurips.cc/paper/2019/hash/5df0385cba256a135be596dbe28fa7aa-Abstract.html},
  timestamp    = {Mon, 16 May 2022 15:41:51 +0200},
  biburl       = {https://dblp.org/rec/conf/nips/PrabhakarA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2019,
  editor       = {Necmiye Ozay and
                  Pavithra Prabhakar},
  title        = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
                  16-18, 2019},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://dl.acm.org/citation.cfm?id=3302504},
  isbn         = {978-1-4503-6282-5},
  timestamp    = {Sun, 07 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/PrabhakarLM18,
  author       = {Pavithra Prabhakar and
                  Jun Liu and
                  Richard M. Murray},
  title        = {Simulations and bisimulations for analysis of stability with respect
                  to inputs of hybrid systems},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {28},
  number       = {3},
  pages        = {349--374},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10626-017-0262-9},
  doi          = {10.1007/S10626-017-0262-9},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/deds/PrabhakarLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/allerton/LalP18,
  author       = {Ratan Lal and
                  Pavithra Prabhakar},
  title        = {Hierarchical Abstractions for Reachability Analysis of Probabilistic
                  Hybrid Systems},
  booktitle    = {56th Annual Allerton Conference on Communication, Control, and Computing,
                  Allerton 2018, Monticello, IL, USA, October 2-5, 2018},
  pages        = {848--855},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ALLERTON.2018.8635976},
  doi          = {10.1109/ALLERTON.2018.8635976},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/allerton/LalP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RoohiP018,
  author       = {Nima Roohi and
                  Pavithra Prabhakar and
                  Mahesh Viswanathan},
  editor       = {Sven Schewe and
                  Lijun Zhang},
  title        = {Relating Syntactic and Semantic Perturbations of Hybrid Automata},
  booktitle    = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
                  September 4-7, 2018, Beijing, China},
  series       = {LIPIcs},
  volume       = {118},
  pages        = {26:1--26:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.26},
  doi          = {10.4230/LIPICS.CONCUR.2018.26},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/RoohiP018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SotoP18,
  author       = {Miriam Garcia Soto and
                  Pavithra Prabhakar},
  editor       = {Maria Prandini and
                  Jyotirmoy V. Deshmukh},
  title        = {Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems},
  booktitle    = {Proceedings of the 21st International Conference on Hybrid Systems:
                  Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
                  Portugal, April 11-13, 2018},
  pages        = {259--264},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178126.3178154},
  doi          = {10.1145/3178126.3178154},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/SotoP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/LalP18,
  author       = {Ratan Lal and
                  Pavithra Prabhakar},
  editor       = {Annabelle McIver and
                  Andr{\'{a}}s Horv{\'{a}}th},
  title        = {Bounded Verification of Reachability of Probabilistic Hybrid Systems},
  booktitle    = {Quantitative Evaluation of Systems - 15th International Conference,
                  {QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11024},
  pages        = {240--256},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99154-2\_15},
  doi          = {10.1007/978-3-319-99154-2\_15},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/LalP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/PrabhakarLK18,
  author       = {Pavithra Prabhakar and
                  Ratan Lal and
                  James Kapinski},
  title        = {Automatic Trace Generation for Signal Temporal Logic},
  booktitle    = {2018 {IEEE} Real-Time Systems Symposium, {RTSS} 2018, Nashville, TN,
                  USA, December 11-14, 2018},
  pages        = {208--217},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/RTSS.2018.00038},
  doi          = {10.1109/RTSS.2018.00038},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtss/PrabhakarLK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2018,
  editor       = {David N. Jansen and
                  Pavithra Prabhakar},
  title        = {Formal Modeling and Analysis of Timed Systems - 16th International
                  Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11022},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00151-3},
  doi          = {10.1007/978-3-030-00151-3},
  isbn         = {978-3-030-00150-6},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/LalP17,
  author       = {Ratan Lal and
                  Pavithra Prabhakar},
  title        = {Safety analysis using compositional bounded error approximations of
                  communicating hybrid systems},
  booktitle    = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017,
                  Melbourne, Australia, December 12-15, 2017},
  pages        = {2378--2383},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/CDC.2017.8263997},
  doi          = {10.1109/CDC.2017.8263997},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/LalP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/LalSP17,
  author       = {Ratan Lal and
                  Ajay Sharda and
                  Pavithra Prabhakar},
  title        = {Optimal multi-robot path planning for pesticide spraying in agricultural
                  fields},
  booktitle    = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017,
                  Melbourne, Australia, December 12-15, 2017},
  pages        = {5815--5820},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/CDC.2017.8264538},
  doi          = {10.1109/CDC.2017.8264538},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/LalSP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PrabhakarS17,
  author       = {Pavithra Prabhakar and
                  Miriam Garcia Soto},
  editor       = {Goran Frehse and
                  Sayan Mitra},
  title        = {Formal Synthesis of Stabilizing Controllers for Switched Systems},
  booktitle    = {Proceedings of the 20th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
                  2017},
  pages        = {111--120},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3049797.3049822},
  doi          = {10.1145/3049797.3049822},
  timestamp    = {Tue, 06 Nov 2018 11:07:36 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/PrabhakarS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RoohiP017,
  author       = {Nima Roohi and
                  Pavithra Prabhakar and
                  Mahesh Viswanathan},
  editor       = {Goran Frehse and
                  Sayan Mitra},
  title        = {Robust Model Checking of Timed Automata under Clock Drifts},
  booktitle    = {Proceedings of the 20th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
                  2017},
  pages        = {153--162},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3049797.3049821},
  doi          = {10.1145/3049797.3049821},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/RoohiP017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ZhangPN17,
  author       = {Wenji Zhang and
                  Pavithra Prabhakar and
                  Balasubramaniam Natarajan},
  editor       = {Sonia Mart{\'{\i}}nez and
                  Eduardo Tovar and
                  Chris Gill and
                  Bruno Sinopoli},
  title        = {Abstraction based reachability analysis for finite branching stochastic
                  hybrid systems},
  booktitle    = {Proceedings of the 8th International Conference on Cyber-Physical
                  Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20,
                  2017},
  pages        = {121--130},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3055004.3055023},
  doi          = {10.1145/3055004.3055023},
  timestamp    = {Fri, 03 Sep 2021 09:01:40 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/ZhangPN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/RoohiP017,
  author       = {Nima Roohi and
                  Pavithra Prabhakar and
                  Mahesh Viswanathan},
  editor       = {Axel Legay and
                  Tiziana Margaria},
  title        = {{HARE:} {A} Hybrid Abstraction Refinement Engine for Verifying Non-linear
                  Hybrid Automata},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 23rd International Conference, {TACAS} 2017, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10205},
  pages        = {573--588},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54577-5\_33},
  doi          = {10.1007/978-3-662-54577-5\_33},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/RoohiP017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2016nsv,
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel and
                  Pavithra Prabhakar},
  title        = {Numerical Software Verification - 9th International Workshop, {NSV}
                  2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
                  2016], Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10152},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-54292-8},
  doi          = {10.1007/978-3-319-54292-8},
  isbn         = {978-3-319-54291-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2016nsv.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/LeongP16,
  author       = {Yoke Peng Leong and
                  Pavithra Prabhakar},
  title        = {Optimal control with regular objectives using an abstraction-refinement
                  approach},
  booktitle    = {2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July
                  6-8, 2016},
  pages        = {5161--5168},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ACC.2016.7526478},
  doi          = {10.1109/ACC.2016.7526478},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/LeongP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PrabhakarS16,
  author       = {Pavithra Prabhakar and
                  Miriam Garcia Soto},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Counterexample Guided Abstraction Refinement for Stability Analysis},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {495--512},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_27},
  doi          = {10.1007/978-3-319-41528-4\_27},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/PrabhakarS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/PrabhakarL16,
  author       = {Pavithra Prabhakar and
                  Jun Liu},
  title        = {Bisimulations for input-output stability of hybrid systems},
  booktitle    = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
                  NV, USA, December 12-14, 2016},
  pages        = {5515--5520},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/CDC.2016.7799116},
  doi          = {10.1109/CDC.2016.7799116},
  timestamp    = {Fri, 04 Mar 2022 13:29:43 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/PrabhakarL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PrabhakarS16,
  author       = {Pavithra Prabhakar and
                  Miriam Garcia Soto},
  editor       = {Petru Eles and
                  Rahul Mangharam},
  title        = {An algorithmic approach to global asymptotic stability verification
                  of hybrid systems},
  booktitle    = {2016 International Conference on Embedded Software, {EMSOFT} 2016,
                  Pittsburgh, Pennsylvania, USA, October 1-7, 2016},
  pages        = {9:1--9:10},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2968478.2968483},
  doi          = {10.1145/2968478.2968483},
  timestamp    = {Thu, 08 Aug 2019 11:04:11 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/PrabhakarS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PrabhakarS16,
  author       = {Pavithra Prabhakar and
                  Miriam Garcia Soto},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Hybridization for Stability Analysis of Switched Linear Systems},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {71--80},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883840},
  doi          = {10.1145/2883817.2883840},
  timestamp    = {Fri, 13 Aug 2021 11:37:40 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/PrabhakarS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Prabhakar16,
  author       = {Pavithra Prabhakar and
                  Miriam Garcia Soto and
                  Ratan Lal},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Verification Techniques for Hybrid Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Discussion, Dissemination, Applications - 7th International Symposium,
                  ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9953},
  pages        = {833--842},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47169-3\_61},
  doi          = {10.1007/978-3-319-47169-3\_61},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Prabhakar16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/RoohiP016,
  author       = {Nima Roohi and
                  Pavithra Prabhakar and
                  Mahesh Viswanathan},
  editor       = {Marsha Chechik and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Hybridization Based {CEGAR} for Hybrid Automata with Affine Dynamics},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 22nd International Conference, {TACAS} 2016, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9636},
  pages        = {752--769},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49674-9\_48},
  doi          = {10.1007/978-3-662-49674-9\_48},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/RoohiP016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/FranzleKP16,
  author       = {Martin Fr{\"{a}}nzle and
                  James Kapinski and
                  Pavithra Prabhakar},
  title        = {Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362)},
  journal      = {Dagstuhl Reports},
  volume       = {6},
  number       = {9},
  pages        = {29--45},
  year         = {2016},
  url          = {https://doi.org/10.4230/DagRep.6.9.29},
  doi          = {10.4230/DAGREP.6.9.29},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/FranzleKP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/PrabhakarDM015,
  author       = {Pavithra Prabhakar and
                  Parasara Sridhar Duggirala and
                  Sayan Mitra and
                  Mahesh Viswanathan},
  title        = {Hybrid automata-based {CEGAR} for rectangular hybrid systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {46},
  number       = {2},
  pages        = {105--134},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10703-015-0225-4},
  doi          = {10.1007/S10703-015-0225-4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/PrabhakarDM015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/PrabhakarD015,
  author       = {Pavithra Prabhakar and
                  Geir E. Dullerud and
                  Mahesh Viswanathan},
  title        = {Stability Preserving Simulations and Bisimulations for Hybrid Systems},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {60},
  number       = {12},
  pages        = {3210--3225},
  year         = {2015},
  url          = {https://doi.org/10.1109/TAC.2015.2422431},
  doi          = {10.1109/TAC.2015.2422431},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tac/PrabhakarD015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PrabhakarVVD15,
  author       = {Pavithra Prabhakar and
                  Vladimeros Vladimerou and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  title        = {A decidable class of planar linear hybrid systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {574},
  pages        = {1--17},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2014.11.018},
  doi          = {10.1016/J.TCS.2014.11.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PrabhakarVVD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PrabhakarS15,
  author       = {Pavithra Prabhakar and
                  Miriam Garcia Soto},
  editor       = {Sergiy Bogomolov and
                  Ashish Tiwari},
  title        = {An Algorithmic Approach to Stability Verification of Hybrid Systems:
                  {A} Summary},
  booktitle    = {1st International Workshop on Symbolic and Numerical Methods for Reachability
                  Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015},
  series       = {EPiC Series in Computing},
  volume       = {37},
  pages        = {32--39},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/sj95},
  doi          = {10.29007/SJ95},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/PrabhakarS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LalP15,
  author       = {Ratan Lal and
                  Pavithra Prabhakar},
  editor       = {Alain Girault and
                  Nan Guan},
  title        = {Bounded error flowpipe computation of parameterized linear systems},
  booktitle    = {2015 International Conference on Embedded Software, {EMSOFT} 2015,
                  Amsterdam, Netherlands, October 4-9, 2015},
  pages        = {237--246},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/EMSOFT.2015.7318279},
  doi          = {10.1109/EMSOFT.2015.7318279},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/LalP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/PrabhakarR015,
  author       = {Pavithra Prabhakar and
                  Nima Roohi and
                  Mahesh Viswanathan},
  editor       = {Sriram Sankaranarayanan and
                  Enrico Vicario},
  title        = {Deciding Concurrent Planar Monotonic Linear Hybrid Systems},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 13th International
                  Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9268},
  pages        = {256--269},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-22975-1\_17},
  doi          = {10.1007/978-3-319-22975-1\_17},
  timestamp    = {Fri, 06 Sep 2019 10:57:16 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/PrabhakarR015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/GantyGLP15,
  author       = {Pierre Ganty and
                  Samir Genaim and
                  Ratan Lal and
                  Pavithra Prabhakar},
  title        = {From non-zenoness verification to termination},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {228--237},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340490},
  doi          = {10.1109/MEMCOD.2015.7340490},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/GantyGLP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PrabhakarS15,
  author       = {Pavithra Prabhakar and
                  Miriam Garcia Soto},
  editor       = {Deepak D'Souza and
                  Akash Lal and
                  Kim Guldstrand Larsen},
  title        = {Foundations of Quantitative Predicate Abstraction for Stability Analysis
                  of Hybrid Systems},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 16th International
                  Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8931},
  pages        = {318--335},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46081-8\_18},
  doi          = {10.1007/978-3-662-46081-8\_18},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/PrabhakarS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PrabhakarS15,
  author       = {Pavithra Prabhakar and
                  Miriam Garcia Soto},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {{AVERIST:} An Algorithmic Verifier for Stability},
  booktitle    = {Seventh and Eighth International Workshops on Numerical Software Verification,
                  {NSV} 2014, Vienna, Austria, July 17-18, 2014 {\&} {NSV} 2015,
                  Seattle, WA, USA, April 13, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {133--139},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.013},
  doi          = {10.1016/J.ENTCS.2015.10.013},
  timestamp    = {Thu, 10 Nov 2022 15:22:15 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PrabhakarS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/PrabhakarS14,
  author       = {Pavithra Prabhakar and
                  Miriam Garcia Soto},
  title        = {An algorithmic approach to stability verification of polyhedral switched
                  systems},
  booktitle    = {American Control Conference, {ACC} 2014, Portland, OR, USA, June 4-6,
                  2014},
  pages        = {2318--2323},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ACC.2014.6859056},
  doi          = {10.1109/ACC.2014.6859056},
  timestamp    = {Sun, 08 Aug 2021 01:40:57 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/PrabhakarS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dars/LivingstonP14,
  author       = {Scott C. Livingston and
                  Pavithra Prabhakar},
  editor       = {Nak Young Chong and
                  Young{-}Jo Cho},
  title        = {Decoupled Formal Synthesis for Almost Separable Systems with Temporal
                  Logic Specifications},
  booktitle    = {Distributed Autonomous Robotic Systems - The 12th International Symposium,
                  {DARS} 2014, Daejeon, Korea, November 2-5, 2014},
  series       = {Springer Tracts in Advanced Robotics},
  volume       = {112},
  pages        = {371--385},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-4-431-55879-8\_26},
  doi          = {10.1007/978-4-431-55879-8\_26},
  timestamp    = {Fri, 04 May 2018 01:16:52 +0200},
  biburl       = {https://dblp.org/rec/conf/dars/LivingstonP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/LiuP14a,
  author       = {Jun Liu and
                  Pavithra Prabhakar},
  title        = {Switching control of dynamical systems from metric temporal logic
                  specifications},
  booktitle    = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA}
                  2014, Hong Kong, China, May 31 - June 7, 2014},
  pages        = {5333--5338},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICRA.2014.6907643},
  doi          = {10.1109/ICRA.2014.6907643},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/LiuP14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/MajumdarMP14,
  author       = {Rupak Majumdar and
                  Richard M. Murray and
                  Pavithra Prabhakar},
  title        = {Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {3},
  pages        = {85--102},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.3.85},
  doi          = {10.4230/DAGREP.4.3.85},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/MajumdarMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/OzayLPM13,
  author       = {Necmiye Ozay and
                  Jun Liu and
                  Pavithra Prabhakar and
                  Richard M. Murray},
  title        = {Computing augmented finite transition systems to synthesize switching
                  protocols for polynomial switched systems},
  booktitle    = {American Control Conference, {ACC} 2013, Washington, DC, USA, June
                  17-19, 2013},
  pages        = {6237--6244},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ACC.2013.6580816},
  doi          = {10.1109/ACC.2013.6580816},
  timestamp    = {Sun, 08 Aug 2021 01:40:56 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/OzayLPM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PrabhakarS13,
  author       = {Pavithra Prabhakar and
                  Miriam Garcia Soto},
  editor       = {Natasha Sharygina and
                  Helmut Veith},
  title        = {Abstraction Based Model-Checking of Stability of Hybrid Systems},
  booktitle    = {Computer Aided Verification - 25th International Conference, {CAV}
                  2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8044},
  pages        = {280--295},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39799-8\_20},
  doi          = {10.1007/978-3-642-39799-8\_20},
  timestamp    = {Wed, 07 Dec 2022 23:12:58 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/PrabhakarS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PrabhakarLM13,
  author       = {Pavithra Prabhakar and
                  Jun Liu and
                  Richard M. Murray},
  editor       = {Rolf Ernst and
                  Oleg Sokolsky},
  title        = {Pre-orders for reasoning about stability properties with respect to
                  input of hybrid systems},
  booktitle    = {Proceedings of the International Conference on Embedded Software,
                  {EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
  pages        = {24:1--24:10},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/EMSOFT.2013.6658602},
  doi          = {10.1109/EMSOFT.2013.6658602},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/PrabhakarLM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicons/PrabhakarK13,
  author       = {Pavithra Prabhakar and
                  Boris K{\"{o}}pf},
  editor       = {Linda Bushnell and
                  Larry Rohrbough and
                  Saurabh Amin and
                  Xenofon D. Koutsoukos},
  title        = {Verifying information flow properties of hybrid systems},
  booktitle    = {2nd {ACM} International Conference on High Confidence Networked Systems
                  (part of {CPS} Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11,
                  2013},
  pages        = {77--84},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2461446.2461458},
  doi          = {10.1145/2461446.2461458},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicons/PrabhakarK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PrabhakarV13,
  author       = {Pavithra Prabhakar and
                  Mahesh Viswanathan},
  editor       = {Calin Belta and
                  Franjo Ivancic},
  title        = {On the decidability of stability of hybrid systems},
  booktitle    = {Proceedings of the 16th international conference on Hybrid systems:
                  computation and control, {HSCC} 2013, April 8-11, 2013, Philadelphia,
                  PA, {USA}},
  pages        = {53--62},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2461328.2461339},
  doi          = {10.1145/2461328.2461339},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/PrabhakarV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/LivingstonPJM13,
  author       = {Scott C. Livingston and
                  Pavithra Prabhakar and
                  Alex B. Jose and
                  Richard M. Murray},
  title        = {Patching task-level robot controllers based on a local {\(\mu\)}-calculus
                  formula},
  booktitle    = {2013 {IEEE} International Conference on Robotics and Automation, Karlsruhe,
                  Germany, May 6-10, 2013},
  pages        = {4588--4595},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICRA.2013.6631229},
  doi          = {10.1109/ICRA.2013.6631229},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/LivingstonPJM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PrabhakarDMV13,
  author       = {Pavithra Prabhakar and
                  Parasara Sridhar Duggirala and
                  Sayan Mitra and
                  Mahesh Viswanathan},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Hybrid Automata-Based {CEGAR} for Rectangular Hybrid Systems},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {48--67},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_6},
  doi          = {10.1007/978-3-642-35873-9\_6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/PrabhakarDMV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/VladimerouPVD12,
  author       = {Vladimeros Vladimerou and
                  Pavithra Prabhakar and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  title        = {Verification of Bounded Discrete Horizon Hybrid Automata},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {57},
  number       = {6},
  pages        = {1445--1455},
  year         = {2012},
  url          = {https://doi.org/10.1109/TAC.2011.2178319},
  doi          = {10.1109/TAC.2011.2178319},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tac/VladimerouPVD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/allerton/Prabhakar12,
  author       = {Pavithra Prabhakar},
  title        = {Foundations for approximation based analysis of stability properties
                  of hybrid systems},
  booktitle    = {50th Annual Allerton Conference on Communication, Control, and Computing,
                  Allerton 2012, Allerton Park {\&} Retreat Center, Monticello,
                  IL, USA, October 1-5, 2012},
  pages        = {1602--1609},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/Allerton.2012.6483412},
  doi          = {10.1109/ALLERTON.2012.6483412},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/allerton/Prabhakar12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PrabhakarV12,
  author       = {Pavithra Prabhakar and
                  Mahesh Viswanathan},
  editor       = {Holger Giese and
                  Grigore Rosu},
  title        = {Conformance Testing of Boolean Programs with Multiple Faults},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
                  International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7273},
  pages        = {101--117},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30793-5\_7},
  doi          = {10.1007/978-3-642-30793-5\_7},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/PrabhakarV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PrabhakarDV12,
  author       = {Pavithra Prabhakar and
                  Geir E. Dullerud and
                  Mahesh Viswanathan},
  editor       = {Thao Dang and
                  Ian M. Mitchell},
  title        = {Pre-orders for reasoning about stability},
  booktitle    = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),
                  HSCC'12, Beijing, China, April 17-19, 2012},
  pages        = {197--206},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2185632.2185662},
  doi          = {10.1145/2185632.2185662},
  timestamp    = {Tue, 03 Aug 2021 16:22:20 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/PrabhakarDV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/automata2012/GopinathanP12,
  author       = {Madhu Gopinathan and
                  Pavithra Prabhakar},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Introduction to Hybrid Automata},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {415--436},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0013},
  doi          = {10.1142/9789814271059\_0013},
  timestamp    = {Sat, 03 Aug 2019 22:52:51 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/GopinathanP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/automata2012/ChevalierDMP12,
  author       = {Fabrice Chevalier and
                  Deepak D'Souza and
                  Raj Mohan Matteplackel and
                  Pavithra Prabhakar},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Automata and Logics over Signals},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {555--584},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0018},
  doi          = {10.1142/9789814271059\_0018},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/ChevalierDMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Prabhakar11,
  author       = {Pavithra Prabhakar},
  title        = {Approximation Based Safety and Stability Verification of Hybrid Systems},
  school       = {University of Illinois Urbana-Champaign, {USA}},
  year         = {2011},
  url          = {https://hdl.handle.net/2142/26102},
  timestamp    = {Fri, 13 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Prabhakar11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VladimerouPVD11,
  author       = {Vladimeros Vladimerou and
                  Pavithra Prabhakar and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  title        = {Specifications for decidable hybrid games},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {48},
  pages        = {6770--6785},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2011.08.036},
  doi          = {10.1016/J.TCS.2011.08.036},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/VladimerouPVD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PrabhakarV11,
  author       = {Pavithra Prabhakar and
                  Mahesh Viswanathan},
  editor       = {Marco Caccamo and
                  Emilio Frazzoli and
                  Radu Grosu},
  title        = {A dynamic algorithm for approximate flow computations},
  booktitle    = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14,
                  2011},
  pages        = {133--142},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1967701.1967722},
  doi          = {10.1145/1967701.1967722},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/PrabhakarV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/ChangPV11,
  author       = {Fangzhe Chang and
                  Pavithra Prabhakar and
                  Ramesh Viswanathan},
  editor       = {Marco Carbone and
                  Jean{-}Marc Petit},
  title        = {Behavior Based Service Composition},
  booktitle    = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
                  2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7176},
  pages        = {17--31},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29834-9\_3},
  doi          = {10.1007/978-3-642-29834-9\_3},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/ChangPV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChadhaLPV10,
  author       = {Rohit Chadha and
                  Axel Legay and
                  Pavithra Prabhakar and
                  Mahesh Viswanathan},
  editor       = {Gilles Barthe and
                  Manuel V. Hermenegildo},
  title        = {Complexity Bounds for the Verification of Real-Time Software},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 11th International
                  Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5944},
  pages        = {95--111},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11319-2\_10},
  doi          = {10.1007/978-3-642-11319-2\_10},
  timestamp    = {Sat, 19 Oct 2019 20:29:32 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/ChadhaLPV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ChevalierDMP09,
  author       = {Fabrice Chevalier and
                  Deepak D'Souza and
                  M. Raj Mohan and
                  Pavithra Prabhakar},
  title        = {Automata and logics over finitely varying functions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {161},
  number       = {3},
  pages        = {324--336},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.apal.2009.07.007},
  doi          = {10.1016/J.APAL.2009.07.007},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/ChevalierDMP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PrabhakarMV09,
  author       = {Pavithra Prabhakar and
                  Sayan Mitra and
                  Mahesh Viswanathan},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {On Convergence of Concurrent Systems under Regular Interactions},
  booktitle    = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
                  {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5710},
  pages        = {527--541},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04081-8\_35},
  doi          = {10.1007/978-3-642-04081-8\_35},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/PrabhakarMV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/VladimerouPVD09,
  author       = {Vladimeros Vladimerou and
                  Pavithra Prabhakar and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  editor       = {Rupak Majumdar and
                  Paulo Tabuada},
  title        = {{STORMED} Hybrid Games},
  booktitle    = {Hybrid Systems: Computation and Control, 12th International Conference,
                  {HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5469},
  pages        = {480--484},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00602-9\_39},
  doi          = {10.1007/978-3-642-00602-9\_39},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/VladimerouPVD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/PrabhakarVVD09,
  author       = {Pavithra Prabhakar and
                  Vladimeros Vladimerou and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  editor       = {Theodore P. Baker},
  title        = {Verifying Tolerant Systems Using Polynomial Approximations},
  booktitle    = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
                  2009, Washington, DC, USA, 1-4 December 2009},
  pages        = {181--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/RTSS.2009.28},
  doi          = {10.1109/RTSS.2009.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/PrabhakarVVD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PrabhakarVVD08,
  author       = {Pavithra Prabhakar and
                  Vladimeros Vladimerou and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  editor       = {Magnus Egerstedt and
                  Bud Mishra},
  title        = {A Decidable Class of Planar Linear Hybrid Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 11th International Workshop,
                  {HSCC} 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4981},
  pages        = {401--414},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78929-1\_29},
  doi          = {10.1007/978-3-540-78929-1\_29},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/PrabhakarVVD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/VladimerouPVD08,
  author       = {Vladimeros Vladimerou and
                  Pavithra Prabhakar and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  editor       = {Luca Aceto and
                  Ivan Damg{\aa}rd and
                  Leslie Ann Goldberg and
                  Magn{\'{u}}s M. Halld{\'{o}}rsson and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Igor Walukiewicz},
  title        = {{STORMED} Hybrid Systems},
  booktitle    = {Automata, Languages and Programming, 35th International Colloquium,
                  {ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
                  {II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
                  Track {C:} Security and Cryptography Foundations},
  series       = {Lecture Notes in Computer Science},
  volume       = {5126},
  pages        = {136--147},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70583-3\_12},
  doi          = {10.1007/978-3-540-70583-3\_12},
  timestamp    = {Fri, 27 Mar 2020 09:02:59 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/VladimerouPVD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/OlveczkyPL08,
  author       = {Peter Csaba {\"{O}}lveczky and
                  Pavithra Prabhakar and
                  Xue Liu},
  title        = {Formal modeling and analysis of real-time resource-sharing protocols
                  in Real-Time Maude},
  booktitle    = {22nd {IEEE} International Symposium on Parallel and Distributed Processing,
                  {IPDPS} 2008, Miami, Florida USA, April 14-18, 2008},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/IPDPS.2008.4536574},
  doi          = {10.1109/IPDPS.2008.4536574},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/OlveczkyPL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DSouzaP07,
  author       = {Deepak D'Souza and
                  Pavithra Prabhakar},
  title        = {On the expressiveness of {MTL} in the pointwise and continuous semantics},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {9},
  number       = {1},
  pages        = {1--4},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10009-005-0214-9},
  doi          = {10.1007/S10009-005-0214-9},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/DSouzaP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ChevalierDP07,
  author       = {Fabrice Chevalier and
                  Deepak D'Souza and
                  Pavithra Prabhakar},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  P. S. Thiagarajan},
  title        = {Counter-Free Input-Determined Timed Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
                  {FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4763},
  pages        = {82--97},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75454-1\_8},
  doi          = {10.1007/978-3-540-75454-1\_8},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/ChevalierDP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/PrabhakarD06,
  author       = {Pavithra Prabhakar and
                  Deepak D'Souza},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {On the Expressiveness of {MTL} with Past Operators},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {322--336},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_23},
  doi          = {10.1007/11867340\_23},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/PrabhakarD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChevalierDP06,
  author       = {Fabrice Chevalier and
                  Deepak D'Souza and
                  Pavithra Prabhakar},
  editor       = {S. Arun{-}Kumar and
                  Naveen Garg},
  title        = {On Continuous Timed Automata with Input-Determined Guards},
  booktitle    = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
                  Computer Science, 26th International Conference, Kolkata, India, December
                  13-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4337},
  pages        = {369--380},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11944836\_34},
  doi          = {10.1007/11944836\_34},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/ChevalierDP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics