BibTeX records: Anand Balakrishnan 0001

download as .bib file

@inproceedings{DBLP:conf/rv/BalakrishnanDHY21,
  author    = {Anand Balakrishnan and
               Jyotirmoy Deshmukh and
               Bardh Hoxha and
               Tomoya Yamaguchi and
               Georgios Fainekos},
  title     = {PerceMon: Online Monitoring for Perception Systems},
  booktitle = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
               Event, October 11-14, 2021, Proceedings},
  pages     = {297--308},
  year      = {2021},
  crossref  = {DBLP:conf/rv/2021},
  url       = {https://doi.org/10.1007/978-3-030-88494-9\_18},
  doi       = {10.1007/978-3-030-88494-9\_18},
  timestamp = {Thu, 07 Oct 2021 16:28:30 +0200},
  biburl    = {https://dblp.org/rec/conf/rv/BalakrishnanDHY21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-08289,
  author    = {Anand Balakrishnan and
               Jyotirmoy Deshmukh and
               Bardh Hoxha and
               Tomoya Yamaguchi and
               Georgios Fainekos},
  title     = {PerceMon: Online Monitoring for Perception Systems},
  journal   = {CoRR},
  volume    = {abs/2108.08289},
  year      = {2021},
  url       = {https://arxiv.org/abs/2108.08289},
  eprinttype = {arXiv},
  eprint    = {2108.08289},
  timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2108-08289.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-04950,
  author    = {Parv Kapoor and
               Anand Balakrishnan and
               Jyotirmoy V. Deshmukh},
  title     = {Model-based Reinforcement Learning from Signal Temporal Logic Specifications},
  journal   = {CoRR},
  volume    = {abs/2011.04950},
  year      = {2020},
  url       = {https://arxiv.org/abs/2011.04950},
  eprinttype = {arXiv},
  eprint    = {2011.04950},
  timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2011-04950.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arobots/HashemifarA0D19,
  author    = {Zakieh S. Hashemifar and
               Charuvahan Adhivarahan and
               Anand Balakrishnan and
               Karthik Dantu},
  title     = {Augmenting visual {SLAM} with Wi-Fi sensing for indoor applications},
  journal   = {Auton. Robots},
  volume    = {43},
  number    = {8},
  pages     = {2245--2260},
  year      = {2019},
  url       = {https://doi.org/10.1007/s10514-019-09874-z},
  doi       = {10.1007/s10514-019-09874-z},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/arobots/HashemifarA0D19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/0001PQDDAF19,
  author    = {Anand Balakrishnan and
               Aniruddh Gopinath Puranic and
               Xin Qin and
               Adel Dokhanchi and
               Jyotirmoy V. Deshmukh and
               Heni Ben Amor and
               Georgios Fainekos},
  title     = {Specifying and Evaluating Quality Metrics for Vision-based Perception
               Systems},
  booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2019, Florence, Italy, March 25-29, 2019},
  pages     = {1433--1438},
  year      = {2019},
  crossref  = {DBLP:conf/date/2019},
  url       = {https://doi.org/10.23919/DATE.2019.8715114},
  doi       = {10.23919/DATE.2019.8715114},
  timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/date/0001PQDDAF19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BalakrishnanD19,
  author    = {Anand Balakrishnan and
               Jyotirmoy V. Deshmukh},
  title     = {Structured reward functions using {STL:} poster abstract},
  booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
               16-18, 2019},
  pages     = {270--271},
  year      = {2019},
  crossref  = {DBLP:conf/hybrid/2019},
  url       = {https://doi.org/10.1145/3302504.3313355},
  doi       = {10.1145/3302504.3313355},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/hybrid/BalakrishnanD19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/0001D19,
  author    = {Anand Balakrishnan and
               Jyotirmoy V. Deshmukh},
  title     = {Structured Reward Shaping using Signal Temporal Logic specifications},
  booktitle = {2019 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems, {IROS} 2019, Macau, SAR, China, November 3-8, 2019},
  pages     = {3481--3486},
  year      = {2019},
  crossref  = {DBLP:conf/iros/2019},
  url       = {https://doi.org/10.1109/IROS40897.2019.8968254},
  doi       = {10.1109/IROS40897.2019.8968254},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/0001D19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-06687,
  author    = {Zakieh S. Hashemifar and
               Charuvahan Adhivarahan and
               Anand Balakrishnan and
               Karthik Dantu},
  title     = {Augmenting Visual {SLAM} with Wi-Fi Sensing For Indoor Applications},
  journal   = {CoRR},
  volume    = {abs/1903.06687},
  year      = {2019},
  url       = {http://arxiv.org/abs/1903.06687},
  eprinttype = {arXiv},
  eprint    = {1903.06687},
  timestamp = {Thu, 11 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1903-06687.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-01723,
  author    = {Kolby Nottingham and
               Anand Balakrishnan and
               Jyotirmoy V. Deshmukh and
               Connor Christopherson and
               David Wingate},
  title     = {Using Logical Specifications of Objectives in Multi-Objective Reinforcement
               Learning},
  journal   = {CoRR},
  volume    = {abs/1910.01723},
  year      = {2019},
  url       = {http://arxiv.org/abs/1910.01723},
  eprinttype = {arXiv},
  eprint    = {1910.01723},
  timestamp = {Mon, 14 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1910-01723.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2021,
  editor    = {Lu Feng and
               Dana Fisman},
  title     = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
               Event, October 11-14, 2021, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12974},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-88494-9},
  doi       = {10.1007/978-3-030-88494-9},
  isbn      = {978-3-030-88493-2},
  timestamp = {Wed, 08 Dec 2021 20:49:51 +0100},
  biburl    = {https://dblp.org/rec/conf/rv/2021.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2019,
  editor    = {J{\"{u}}rgen Teich and
               Franco Fummi},
  title     = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2019, Florence, Italy, March 25-29, 2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8704855/proceeding},
  isbn      = {978-3-9819263-2-3},
  timestamp = {Wed, 08 Dec 2021 20:49:51 +0100},
  biburl    = {https://dblp.org/rec/conf/date/2019.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 = {Wed, 08 Dec 2021 20:49:51 +0100},
  biburl    = {https://dblp.org/rec/conf/hybrid/2019.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iros/2019,
  title     = {2019 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems, {IROS} 2019, Macau, SAR, China, November 3-8, 2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8957008/proceeding},
  isbn      = {978-1-7281-4004-9},
  timestamp = {Wed, 08 Dec 2021 20:49:51 +0100},
  biburl    = {https://dblp.org/rec/conf/iros/2019.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics