default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Vasumathi Raman
@article{DBLP:journals/jar/JhaSRPF19,
author = {Susmit Jha and
Tuhin Sahai and
Vasumathi Raman and
Alessandro Pinto and
Michael Francis},
title = {Explaining {AI} Decisions Using Efficient Methods for Learning Sparse
Boolean Formulae},
journal = {J. Autom. Reason.},
volume = {63},
number = {4},
pages = {1055--1075},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9499-8},
doi = {10.1007/S10817-018-9499-8},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/JhaSRPF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arcras/Kress-GazitLR18,
author = {Hadas Kress{-}Gazit and
Morteza Lahijanian and
Vasumathi Raman},
title = {Synthesis for Robots: Guarantees and Feedback for Robot Behavior},
journal = {Annu. Rev. Control. Robotics Auton. Syst.},
volume = {1},
pages = {211--236},
year = {2018},
url = {https://doi.org/10.1146/annurev-control-060117-104838},
doi = {10.1146/ANNUREV-CONTROL-060117-104838},
timestamp = {Tue, 11 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/arcras/Kress-GazitLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arobots/Alonso-MoraDRRK18,
author = {Javier Alonso{-}Mora and
Jonathan A. DeCastro and
Vasumathi Raman and
Daniela Rus and
Hadas Kress{-}Gazit},
title = {Reactive mission and motion planning with deadlock resolution avoiding
dynamic obstacles},
journal = {Auton. Robots},
volume = {42},
number = {4},
pages = {801--824},
year = {2018},
url = {https://doi.org/10.1007/s10514-017-9665-6},
doi = {10.1007/S10514-017-9665-6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/arobots/Alonso-MoraDRRK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/JhaRSS18,
author = {Susmit Jha and
Vasumathi Raman and
Dorsa Sadigh and
Sanjit A. Seshia},
title = {Safe Autonomy Under Perception Uncertainty Using Chance-Constrained
Temporal Logic},
journal = {J. Autom. Reason.},
volume = {60},
number = {1},
pages = {43--62},
year = {2018},
url = {https://doi.org/10.1007/s10817-017-9413-9},
doi = {10.1007/S10817-017-9413-9},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/JhaRSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/WuRRLS18,
author = {Yi{-}Chin Wu and
Vasumathi Raman and
Blake C. Rawlings and
St{\'{e}}phane Lafortune and
Sanjit A. Seshia},
title = {Synthesis of Obfuscation Policies to Ensure Privacy and Utility},
journal = {J. Autom. Reason.},
volume = {60},
number = {1},
pages = {107--131},
year = {2018},
url = {https://doi.org/10.1007/s10817-017-9420-x},
doi = {10.1007/S10817-017-9420-X},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/WuRRLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/Vazquez-Chanlatte18,
author = {Marcell Vazquez{-}Chanlatte and
Shromona Ghosh and
Vasumathi Raman and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Generating Dominant Strategies for Continuous Two-Player Zero-Sum
Games},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {7--12},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.002},
doi = {10.1016/J.IFACOL.2018.08.002},
timestamp = {Mon, 08 Oct 2018 13:49:16 +0200},
biburl = {https://dblp.org/rec/conf/adhs/Vazquez-Chanlatte18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/VasileRK17,
author = {Cristian Ioan Vasile and
Vasumathi Raman and
Sertac Karaman},
title = {Sampling-based synthesis of maximally-satisfying controllers for temporal
logic specifications},
booktitle = {2017 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2017, Vancouver, BC, Canada, September 24-28, 2017},
pages = {3840--3847},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IROS.2017.8206235},
doi = {10.1109/IROS.2017.8206235},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/VasileRK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/PaxtonRHK17,
author = {Chris Paxton and
Vasumathi Raman and
Gregory D. Hager and
Marin Kobilarov},
title = {Combining neural networks and tree search for task and motion planning
in challenging environments},
booktitle = {2017 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2017, Vancouver, BC, Canada, September 24-28, 2017},
pages = {6059--6066},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IROS.2017.8206505},
doi = {10.1109/IROS.2017.8206505},
timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/PaxtonRHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/JhaRPSF17,
author = {Susmit Jha and
Vasumathi Raman and
Alessandro Pinto and
Tuhin Sahai and
Michael Francis},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {On Learning Sparse Boolean Formulae for Explaining {AI} Decisions},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {99--114},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_7},
doi = {10.1007/978-3-319-57288-8\_7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/JhaRPSF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/TsaiSLR17,
author = {Huey{-}Ru (Debbie) Tsai and
Yasser Shoukry and
Min Kyung Lee and
Vasumathi Raman},
editor = {Kamin Whitehouse and
Prabal Dutta and
Hae Young Noh},
title = {Towards a socially responsible smart city: dynamic resource allocation
for smarter community service},
booktitle = {Proceedings of the 4th {ACM} International Conference on Systems for
Energy-Efficient Built Environments, BuildSys 2017, Delft, The Netherlands,
November 08-09, 2017},
pages = {13:1--13:4},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3137133.3137163},
doi = {10.1145/3137133.3137163},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sensys/TsaiSLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PaxtonRHK17,
author = {Chris Paxton and
Vasumathi Raman and
Gregory D. Hager and
Marin Kobilarov},
title = {Combining Neural Networks and Tree Search for Task and Motion Planning
in Challenging Environments},
journal = {CoRR},
volume = {abs/1703.07887},
year = {2017},
url = {http://arxiv.org/abs/1703.07887},
eprinttype = {arXiv},
eprint = {1703.07887},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PaxtonRHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamanDMMSS17,
author = {Vasumathi Raman and
Alexandre Donz{\'{e}} and
Mehdi Maasoumy and
Richard M. Murray and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia},
title = {Model Predictive Control for Signal Temporal Logic Specification},
journal = {CoRR},
volume = {abs/1703.09563},
year = {2017},
url = {http://arxiv.org/abs/1703.09563},
eprinttype = {arXiv},
eprint = {1703.09563},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamanDMMSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Vazquez-Chanlatte17,
author = {Marcell Vazquez{-}Chanlatte and
Shromona Ghosh and
Vasumathi Raman and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia},
title = {Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal
Logic Specifications},
journal = {CoRR},
volume = {abs/1707.03529},
year = {2017},
url = {http://arxiv.org/abs/1707.03529},
eprinttype = {arXiv},
eprint = {1707.03529},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Vazquez-Chanlatte17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ram/Raman16,
author = {Vasumathi Raman},
title = {The 2016 Formal Methods for Robotics Challenge [Competitions]},
journal = {{IEEE} Robotics Autom. Mag.},
volume = {23},
number = {3},
pages = {24--25},
year = {2016},
url = {https://doi.org/10.1109/MRA.2016.2587958},
doi = {10.1109/MRA.2016.2587958},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ram/Raman16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EhlersR16,
author = {R{\"{u}}diger Ehlers and
Vasumathi Raman},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Slugs: Extensible {GR(1)} Synthesis},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {333--339},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_18},
doi = {10.1007/978-3-319-41540-6\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/EhlersR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/LivingstonR16,
author = {Scott C. Livingston and
Vasumathi Raman},
editor = {Goran Frehse and
Matthias Althoff},
title = {Chains of Integrators as a Benchmark for Scalability of Hybrid Control
Synthesis},
booktitle = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification
for Continuous and Hybrid Systems, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {43},
pages = {52--59},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/sqlx},
doi = {10.29007/SQLX},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/LivingstonR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JhaRS16,
author = {Susmit Jha and
Vasumathi Raman and
Sanjit A. Seshia},
editor = {Ruzica Piskac and
Muralidhar Talupur},
title = {On {\(\exists\)} {\(\forall\)} {\(\exists\)}! solving: {A} case study
on automated synthesis of magic card tricks},
booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
View, CA, USA, October 3-6, 2016},
pages = {81--84},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FMCAD.2016.7886664},
doi = {10.1109/FMCAD.2016.7886664},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/JhaRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/JhaR16,
author = {Susmit Jha and
Vasumathi Raman},
editor = {Martin Fr{\"{a}}nzle and
Nicolas Markey},
title = {On Optimal Control of Stochastic Linear Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 14th International
Conference, {FORMATS} 2016, Quebec, QC, Canada, August 24-26, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9884},
pages = {69--84},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44878-7\_5},
doi = {10.1007/978-3-319-44878-7\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/JhaR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GhoshSNRDSSS16,
author = {Shromona Ghosh and
Dorsa Sadigh and
Pierluigi Nuzzo and
Vasumathi Raman and
Alexandre Donz{\'{e}} and
Alberto L. Sangiovanni{-}Vincentelli and
S. Shankar Sastry and
Sanjit A. Seshia},
editor = {Alessandro Abate and
Georgios Fainekos},
title = {Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications},
booktitle = {Proceedings of the 19th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
2016},
pages = {31--40},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2883817.2883847},
doi = {10.1145/2883817.2883847},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GhoshSNRDSSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/JhaR16,
author = {Susmit Jha and
Vasumathi Raman},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {Automated Synthesis of Safe Autonomous Vehicle Control Under Perception
Uncertainty},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {117--132},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_10},
doi = {10.1007/978-3-319-40648-0\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/JhaR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/WuRLS16,
author = {Yi{-}Chin Wu and
Vasumathi Raman and
St{\'{e}}phane Lafortune and
Sanjit A. Seshia},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {Obfuscator Synthesis for Privacy and Utility},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {133--149},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_11},
doi = {10.1007/978-3-319-40648-0\_11},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/WuRLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GhoshSNRDSSS16,
author = {Shromona Ghosh and
Dorsa Sadigh and
Pierluigi Nuzzo and
Vasumathi Raman and
Alexandre Donz{\'{e}} and
Alberto L. Sangiovanni{-}Vincentelli and
S. Shankar Sastry and
Sanjit A. Seshia},
title = {Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications},
journal = {CoRR},
volume = {abs/1602.01883},
year = {2016},
url = {http://arxiv.org/abs/1602.01883},
eprinttype = {arXiv},
eprint = {1602.01883},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GhoshSNRDSSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arobots/LignosRFMK15,
author = {Constantine Lignos and
Vasumathi Raman and
Cameron Finucane and
Mitchell P. Marcus and
Hadas Kress{-}Gazit},
title = {Provably correct reactive control from natural language},
journal = {Auton. Robots},
volume = {38},
number = {1},
pages = {89--105},
year = {2015},
url = {https://doi.org/10.1007/s10514-014-9418-8},
doi = {10.1007/S10514-014-9418-8},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/arobots/LignosRFMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/RamanPFK15,
author = {Vasumathi Raman and
Nir Piterman and
Cameron Finucane and
Hadas Kress{-}Gazit},
title = {Timing Semantics for Abstraction and Execution of Synthesized High-Level
Robot Control},
journal = {{IEEE} Trans. Robotics},
volume = {31},
number = {3},
pages = {591--604},
year = {2015},
url = {https://doi.org/10.1109/TRO.2015.2414134},
doi = {10.1109/TRO.2015.2414134},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/trob/RamanPFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/FarahaniRM15,
author = {Samira S. Farahani and
Vasumathi Raman and
Richard M. Murray},
editor = {Magnus Egerstedt and
Yorai Wardi},
title = {Robust Model Predictive Control for Signal Temporal Logic Synthesis},
booktitle = {5th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2015, Atlanta, GA, USA, October 14-16, 2015},
series = {IFAC-PapersOnLine},
volume = {48},
number = {27},
pages = {323--328},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.ifacol.2015.11.195},
doi = {10.1016/J.IFACOL.2015.11.195},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/FarahaniRM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/FaltRM15,
author = {Mattias F{\"{a}}lt and
Vasumathi Raman and
Richard M. Murray},
title = {Variable elimination for scalable receding horizon temporal logic
planning},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {1917--1922},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7171013},
doi = {10.1109/ACC.2015.7171013},
timestamp = {Fri, 03 Dec 2021 13:03:59 +0100},
biburl = {https://dblp.org/rec/conf/amcc/FaltRM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/DonzeR15,
author = {Alexandre Donz{\'{e}} and
Vasumathi Raman},
editor = {Goran Frehse and
Matthias Althoff},
title = {BluSTL: Controller Synthesis from Signal Temporal Logic Specifications},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {160--168},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/g39q},
doi = {10.29007/G39Q},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/DonzeR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RamanDSMS15,
author = {Vasumathi Raman and
Alexandre Donz{\'{e}} and
Dorsa Sadigh and
Richard M. Murray and
Sanjit A. Seshia},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {Reactive synthesis from signal temporal logic specifications},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {239--248},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728628},
doi = {10.1145/2728606.2728628},
timestamp = {Fri, 06 Sep 2019 10:57:13 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RamanDSMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/DeCastroRK15,
author = {Jonathan A. DeCastro and
Vasumathi Raman and
Hadas Kress{-}Gazit},
title = {Dynamics-driven adaptive abstraction for reactive high-level mission
and motion planning},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2015, Seattle, WA, USA, 26-30 May, 2015},
pages = {369--376},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICRA.2015.7139025},
doi = {10.1109/ICRA.2015.7139025},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/DeCastroRK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/RamanFWM15,
author = {Vasumathi Raman and
Mattias F{\"{a}}lt and
Tichakorn Wongpiromsarn and
Richard M. Murray},
title = {Online horizon selection in receding horizon temporal logic planning},
booktitle = {2015 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2015, Hamburg, Germany, September 28 - October 2,
2015},
pages = {3493--3499},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IROS.2015.7353864},
doi = {10.1109/IROS.2015.7353864},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/RamanFWM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isrr/DeCastroARRK15,
author = {Jonathan A. DeCastro and
Javier Alonso{-}Mora and
Vasumathi Raman and
Daniela Rus and
Hadas Kress{-}Gazit},
editor = {Antonio Bicchi and
Wolfram Burgard},
title = {Collision-Free Reactive Mission and Motion Planning for Multi-robot
Systems},
booktitle = {Robotics Research, Proceedings of the 17th International Symposium
of Robotics Research, {ISRR} 2015, Sestri Levante, Italy, September
12-15, 2015, Volume 1},
series = {Springer Proceedings in Advanced Robotics},
volume = {2},
pages = {459--476},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-51532-8\_28},
doi = {10.1007/978-3-319-51532-8\_28},
timestamp = {Mon, 11 Dec 2017 19:15:27 +0100},
biburl = {https://dblp.org/rec/conf/isrr/DeCastroARRK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/RamanDMMSS14,
author = {Vasumathi Raman and
Alexandre Donz{\'{e}} and
Mehdi Maasoumy and
Richard M. Murray and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia},
title = {Model predictive control with signal temporal logic specifications},
booktitle = {53rd {IEEE} Conference on Decision and Control, {CDC} 2014, Los Angeles,
CA, USA, December 15-17, 2014},
pages = {81--87},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CDC.2014.7039363},
doi = {10.1109/CDC.2014.7039363},
timestamp = {Fri, 04 Mar 2022 13:29:15 +0100},
biburl = {https://dblp.org/rec/conf/cdc/RamanDMMSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/RamanMD14,
author = {Vasumathi Raman and
Mehdi Maasoumy and
Alexandre Donz{\'{e}}},
editor = {Ralf L{\"{a}}mmel and
Walid Taha},
title = {Model predictive control from signal temporal logic specifications:
a case study},
booktitle = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
Germany, April 14-17, 2014},
pages = {52--55},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593458.2593472},
doi = {10.1145/2593458.2593472},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cyphy/RamanMD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/RamanK14,
author = {Vasumathi Raman and
Hadas Kress{-}Gazit},
title = {Synthesis for multi-robot controllers with interleaved motion},
booktitle = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA}
2014, Hong Kong, China, May 31 - June 7, 2014},
pages = {4316--4321},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ICRA.2014.6907487},
doi = {10.1109/ICRA.2014.6907487},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/RamanK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/Raman14,
author = {Vasumathi Raman},
title = {Reactive switching protocols for multi-robot high-level tasks},
booktitle = {2014 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2014, Chicago, IL, USA, September 14-18, 2014},
pages = {336--341},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IROS.2014.6942581},
doi = {10.1109/IROS.2014.6942581},
timestamp = {Tue, 05 Sep 2023 15:07:47 +0200},
biburl = {https://dblp.org/rec/conf/iros/Raman14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/AksanliABCDDLMMNRRSSRV14,
author = {Baris Aksanli and
Alper Sinan Akyurek and
Madhur Behl and
Meghan Clark and
Alexandre Donz{\'{e}} and
Prabal Dutta and
Patrick Lazik and
Mehdi Maasoumy and
Rahul Mangharam and
Truong X. Nghiem and
Vasumathi Raman and
Anthony Rowe and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
Tajana Simunic Rosing and
Jagannathan Venkatesh},
editor = {Mani Srivastava},
title = {Distributed control of a swarm of buildings connected to a smart grid:
demo abstract},
booktitle = {Proceedings of the 1st {ACM} Conference on Embedded Systems for Energy-Efficient
Buildings, BuildSys 2014, Memphis, TN, USA, November 3-6, 2014},
pages = {172--173},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2674061.2675019},
doi = {10.1145/2674061.2675019},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sensys/AksanliABCDDLMMNRRSSRV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/EhlersR14,
author = {R{\"{u}}diger Ehlers and
Vasumathi Raman},
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {Low-Effort Specification Debugging and Analysis},
booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
pages = {117--133},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157.12},
doi = {10.4204/EPTCS.157.12},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/EhlersR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamanK14,
author = {Vasumathi Raman and
Hadas Kress{-}Gazit},
title = {Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level
Robot Behaviors},
journal = {CoRR},
volume = {abs/1409.1455},
year = {2014},
url = {http://arxiv.org/abs/1409.1455},
eprinttype = {arXiv},
eprint = {1409.1455},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamanK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Raman13,
author = {Vasumathi Raman},
title = {Explaining Unsynthesizability of High-Level Robot Behaviors},
school = {Cornell University, {USA}},
year = {2013},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Raman13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/RamanK13,
author = {Vasumathi Raman and
Hadas Kress{-}Gazit},
title = {Explaining Impossible High-Level Robot Behaviors},
journal = {{IEEE} Trans. Robotics},
volume = {29},
number = {1},
pages = {94--104},
year = {2013},
url = {https://doi.org/10.1109/TRO.2012.2214558},
doi = {10.1109/TRO.2012.2214558},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trob/RamanK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/RamanPK13,
author = {Vasumathi Raman and
Nir Piterman and
Hadas Kress{-}Gazit},
title = {Provably correct continuous control for high-level robot behaviors
with actions of arbitrary execution durations},
booktitle = {2013 {IEEE} International Conference on Robotics and Automation, Karlsruhe,
Germany, May 6-10, 2013},
pages = {4075--4081},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICRA.2013.6631152},
doi = {10.1109/ICRA.2013.6631152},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/RamanPK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/RamanK13,
author = {Vasumathi Raman and
Hadas Kress{-}Gazit},
title = {Towards minimal explanations of unsynthesizability for high-level
robot behaviors},
booktitle = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2013, Tokyo, Japan, November 3-7, 2013},
pages = {757--762},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IROS.2013.6696436},
doi = {10.1109/IROS.2013.6696436},
timestamp = {Tue, 05 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/iros/RamanK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rss/RamanLFLMK13,
author = {Vasumathi Raman and
Constantine Lignos and
Cameron Finucane and
Kenton C. T. Lee and
Mitchell P. Marcus and
Hadas Kress{-}Gazit},
editor = {Paul Newman and
Dieter Fox and
David Hsu},
title = {Sorry Dave, I'm Afraid {I} Can't Do That: Explaining Unachievable
Robot Tasks Using Natural Language},
booktitle = {Robotics: Science and Systems IX, Technische Universit{\"{a}}t
Berlin, Berlin, Germany, June 24 - June 28, 2013},
year = {2013},
url = {http://www.roboticsproceedings.org/rss09/p23.html},
doi = {10.15607/RSS.2013.IX.023},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rss/RamanLFLMK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hri/BrooksLMPFRSMNKMY12,
author = {Daniel J. Brooks and
Constantine Lignos and
Mikhail S. Medvedev and
Ian Perera and
Cameron Finucane and
Vasumathi Raman and
Abraham Shultz and
Sean McSheehy and
Adam Norton and
Hadas Kress{-}Gazit and
Mitchell P. Marcus and
Holly A. Yanco},
editor = {Holly A. Yanco and
Aaron Steinfeld and
Vanessa Evers and
Odest Chadwicke Jenkins},
title = {Situation understanding bot through language and environment},
booktitle = {International Conference on Human-Robot Interaction, HRI'12, Boston,
MA, {USA} - March 05 - 08, 2012},
pages = {419--420},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2157689.2157827},
doi = {10.1145/2157689.2157827},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hri/BrooksLMPFRSMNKMY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/JingFRK12,
author = {Gangyuan Jing and
Cameron Finucane and
Vasumathi Raman and
Hadas Kress{-}Gazit},
title = {Correct high-level robot control from structured English},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
pages = {3543--3544},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICRA.2012.6225161},
doi = {10.1109/ICRA.2012.6225161},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/JingFRK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/RamanK12,
author = {Vasumathi Raman and
Hadas Kress{-}Gazit},
title = {Automated feedback for unachievable high-level robot behaviors},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
pages = {5156--5162},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICRA.2012.6224807},
doi = {10.1109/ICRA.2012.6224807},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/RamanK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/RamanFK12,
author = {Vasumathi Raman and
Cameron Finucane and
Hadas Kress{-}Gazit},
title = {Temporal logic robot mission planning for slow and fast actions},
booktitle = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,
2012},
pages = {251--256},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IROS.2012.6385935},
doi = {10.1109/IROS.2012.6385935},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/RamanFK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/RamanXK12,
author = {Vasumathi Raman and
Bingxin Xu and
Hadas Kress{-}Gazit},
title = {Avoiding forgetfulness: Structured English specifications for high-level
robot control with implicit memory},
booktitle = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,
2012},
pages = {1233--1238},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IROS.2012.6386028},
doi = {10.1109/IROS.2012.6386028},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/RamanXK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RamanK11,
author = {Vasumathi Raman and
Hadas Kress{-}Gazit},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Analyzing Unsynthesizable Specifications for High-Level Robot Behavior
Using LTLMoP},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {663--668},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_54},
doi = {10.1007/978-3-642-22110-1\_54},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/RamanK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/HalpernPR09,
author = {Joseph Y. Halpern and
Rafael Pass and
Vasumathi Raman},
editor = {Aviad Heifetz},
title = {An epistemic characterization of zero knowledge},
booktitle = {Proceedings of the 12th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009},
pages = {156--165},
year = {2009},
url = {https://doi.org/10.1145/1562814.1562837},
doi = {10.1145/1562814.1562837},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/HalpernPR09.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.
last updated on 2024-05-08 21:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
