Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Pavithra Prabhakar
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.