var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"https://dblp.org/pid/251/3272.bib?param=1\",\"jsonp\":\"1\",\"commas\":\"true\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Taylor\"],\"propositions\":[],\"lastnames\":[\"Dohmen\"],\"suffixes\":[]},{\"firstnames\":[\"Ashutosh\"],\"propositions\":[],\"lastnames\":[\"Trivedi\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Noa\"],\"propositions\":[],\"lastnames\":[\"Agmon\"],\"suffixes\":[]},{\"firstnames\":[\"Bo\"],\"propositions\":[],\"lastnames\":[\"An\"],\"suffixes\":[]},{\"firstnames\":[\"Alessandro\"],\"propositions\":[],\"lastnames\":[\"Ricci\"],\"suffixes\":[]},{\"firstnames\":[\"William\"],\"propositions\":[],\"lastnames\":[\"Yeoh\"],\"suffixes\":[]}],\"title\":\"Reinforcement Learning with Depreciating Assets\",\"booktitle\":\"Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023\",\"pages\":\"2628–2630\",\"publisher\":\"ACM\",\"year\":\"2023\",\"url\":\"https://dl.acm.org/doi/10.5555/3545946.3599024\",\"doi\":\"10.5555/3545946.3599024\",\"timestamp\":\"Tue, 23 May 2023 14:27:14 +0200\",\"biburl\":\"https://dblp.org/rec/conf/atal/Dohmen023.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/atal/Dohmen023,\\n  author       = {Taylor Dohmen and\\n                  Ashutosh Trivedi},\\n  editor       = {Noa Agmon and\\n                  Bo An and\\n                  Alessandro Ricci and\\n                  William Yeoh},\\n  title        = {Reinforcement Learning with Depreciating Assets},\\n  booktitle    = {Proceedings of the 2023 International Conference on Autonomous Agents\\n                  and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May\\n                  2023 - 2 June 2023},\\n  pages        = {2628--2630},\\n  publisher    = {{ACM}},\\n  year         = {2023},\\n  url          = {https://dl.acm.org/doi/10.5555/3545946.3599024},\\n  doi          = {10.5555/3545946.3599024},\\n  timestamp    = {Tue, 23 May 2023 14:27:14 +0200},\\n  biburl       = {https://dblp.org/rec/conf/atal/Dohmen023.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Dohmen, T.\",\"Trivedi, A.\"],\"editor_short\":[\"Agmon, N.\",\"An, B.\",\"Ricci, A.\",\"Yeoh, W.\"],\"key\":\"DBLP:conf/atal/Dohmen023\",\"id\":\"DBLP:conf/atal/Dohmen023\",\"bibbaseid\":\"dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://dl.acm.org/doi/10.5555/3545946.3599024\"},\"metadata\":{\"authorlinks\":{\"dohmen, t\":\"https://taylordohmen.github.io/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Stanley\"],\"propositions\":[],\"lastnames\":[\"Bak\"],\"suffixes\":[]},{\"firstnames\":[\"Taylor\"],\"propositions\":[],\"lastnames\":[\"Dohmen\"],\"suffixes\":[]},{\"firstnames\":[\"K.\"],\"propositions\":[],\"lastnames\":[\"Subramani\"],\"suffixes\":[]},{\"firstnames\":[\"Ashutosh\"],\"propositions\":[],\"lastnames\":[\"Trivedi\"],\"suffixes\":[]},{\"firstnames\":[\"Alvaro\"],\"propositions\":[],\"lastnames\":[\"Velasquez\"],\"suffixes\":[]},{\"firstnames\":[\"Piotr\"],\"propositions\":[],\"lastnames\":[\"Wojciechowski\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Marsha\"],\"propositions\":[],\"lastnames\":[\"Chechik\"],\"suffixes\":[]},{\"firstnames\":[\"Joost-Pieter\"],\"propositions\":[],\"lastnames\":[\"Katoen\"],\"suffixes\":[]},{\"firstnames\":[\"Martin\"],\"propositions\":[],\"lastnames\":[\"Leucker\"],\"suffixes\":[]}],\"title\":\"The Octatope Abstract Domain for Verification of Neural Networks\",\"booktitle\":\"Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings\",\"series\":\"Lecture Notes in Computer Science\",\"volume\":\"14000\",\"pages\":\"454–472\",\"publisher\":\"Springer\",\"year\":\"2023\",\"url\":\"https://doi.org/10.1007/978-3-031-27481-7\\\\_26\",\"doi\":\"10.1007/978-3-031-27481-7_26\",\"timestamp\":\"Fri, 09 Feb 2024 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/conf/fm/BakDSTVW23.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/fm/BakDSTVW23,\\n  author       = {Stanley Bak and\\n                  Taylor Dohmen and\\n                  K. Subramani and\\n                  Ashutosh Trivedi and\\n                  Alvaro Velasquez and\\n                  Piotr Wojciechowski},\\n  editor       = {Marsha Chechik and\\n                  Joost{-}Pieter Katoen and\\n                  Martin Leucker},\\n  title        = {The Octatope Abstract Domain for Verification of Neural Networks},\\n  booktitle    = {Formal Methods - 25th International Symposium, {FM} 2023, L{\\\\\\\"{u}}beck,\\n                  Germany, March 6-10, 2023, Proceedings},\\n  series       = {Lecture Notes in Computer Science},\\n  volume       = {14000},\\n  pages        = {454--472},\\n  publisher    = {Springer},\\n  year         = {2023},\\n  url          = {https://doi.org/10.1007/978-3-031-27481-7\\\\_26},\\n  doi          = {10.1007/978-3-031-27481-7\\\\_26},\\n  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/conf/fm/BakDSTVW23.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Bak, S.\",\"Dohmen, T.\",\"Subramani, K.\",\"Trivedi, A.\",\"Velasquez, A.\",\"Wojciechowski, P.\"],\"editor_short\":[\"Chechik, M.\",\"Katoen, J.\",\"Leucker, M.\"],\"key\":\"DBLP:conf/fm/BakDSTVW23\",\"id\":\"DBLP:conf/fm/BakDSTVW23\",\"bibbaseid\":\"bak-dohmen-subramani-trivedi-velasquez-wojciechowski-theoctatopeabstractdomainforverificationofneuralnetworks-2023\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/978-3-031-27481-7\\\\_26\"},\"metadata\":{\"authorlinks\":{\"dohmen, t\":\"https://taylordohmen.github.io/\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Taylor\"],\"propositions\":[],\"lastnames\":[\"Dohmen\"],\"suffixes\":[]},{\"firstnames\":[\"Ashutosh\"],\"propositions\":[],\"lastnames\":[\"Trivedi\"],\"suffixes\":[]}],\"title\":\"Reinforcement Learning with Depreciating Assets\",\"journal\":\"CoRR\",\"volume\":\"abs/2302.14176\",\"year\":\"2023\",\"url\":\"https://doi.org/10.48550/arXiv.2302.14176\",\"doi\":\"10.48550/ARXIV.2302.14176\",\"eprinttype\":\"arXiv\",\"eprint\":\"2302.14176\",\"timestamp\":\"Thu, 02 Mar 2023 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/journals/corr/abs-2302-14176.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/corr/abs-2302-14176,\\n  author       = {Taylor Dohmen and\\n                  Ashutosh Trivedi},\\n  title        = {Reinforcement Learning with Depreciating Assets},\\n  journal      = {CoRR},\\n  volume       = {abs/2302.14176},\\n  year         = {2023},\\n  url          = {https://doi.org/10.48550/arXiv.2302.14176},\\n  doi          = {10.48550/ARXIV.2302.14176},\\n  eprinttype    = {arXiv},\\n  eprint       = {2302.14176},\\n  timestamp    = {Thu, 02 Mar 2023 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-14176.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Dohmen, T.\",\"Trivedi, A.\"],\"key\":\"DBLP:journals/corr/abs-2302-14176\",\"id\":\"DBLP:journals/corr/abs-2302-14176\",\"bibbaseid\":\"dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.48550/arXiv.2302.14176\"},\"metadata\":{\"authorlinks\":{\"dohmen, t\":\"https://taylordohmen.github.io/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Taylor\"],\"propositions\":[],\"lastnames\":[\"Dohmen\"],\"suffixes\":[]},{\"firstnames\":[\"Noah\"],\"propositions\":[],\"lastnames\":[\"Topper\"],\"suffixes\":[]},{\"firstnames\":[\"George\",\"K.\"],\"propositions\":[],\"lastnames\":[\"Atia\"],\"suffixes\":[]},{\"firstnames\":[\"Andre\"],\"propositions\":[],\"lastnames\":[\"Beckus\"],\"suffixes\":[]},{\"firstnames\":[\"Ashutosh\"],\"propositions\":[],\"lastnames\":[\"Trivedi\"],\"suffixes\":[]},{\"firstnames\":[\"Alvaro\"],\"propositions\":[],\"lastnames\":[\"Velasquez\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Akshat\"],\"propositions\":[],\"lastnames\":[\"Kumar\"],\"suffixes\":[]},{\"firstnames\":[\"Sylvie\"],\"propositions\":[],\"lastnames\":[\"Thiébaux\"],\"suffixes\":[]},{\"firstnames\":[\"Pradeep\"],\"propositions\":[],\"lastnames\":[\"Varakantham\"],\"suffixes\":[]},{\"firstnames\":[\"William\"],\"propositions\":[],\"lastnames\":[\"Yeoh\"],\"suffixes\":[]}],\"title\":\"Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning\",\"booktitle\":\"Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022\",\"pages\":\"574–582\",\"publisher\":\"AAAI Press\",\"year\":\"2022\",\"url\":\"https://ojs.aaai.org/index.php/ICAPS/article/view/19844\",\"timestamp\":\"Wed, 20 Jul 2022 14:27:38 +0200\",\"biburl\":\"https://dblp.org/rec/conf/aips/DohmenTAB0V22.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/aips/DohmenTAB0V22,\\n  author       = {Taylor Dohmen and\\n                  Noah Topper and\\n                  George K. Atia and\\n                  Andre Beckus and\\n                  Ashutosh Trivedi and\\n                  Alvaro Velasquez},\\n  editor       = {Akshat Kumar and\\n                  Sylvie Thi{\\\\'{e}}baux and\\n                  Pradeep Varakantham and\\n                  William Yeoh},\\n  title        = {Inferring Probabilistic Reward Machines from Non-Markovian Reward\\n                  Signals for Reinforcement Learning},\\n  booktitle    = {Proceedings of the Thirty-Second International Conference on Automated\\n                  Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,\\n                  2022},\\n  pages        = {574--582},\\n  publisher    = {{AAAI} Press},\\n  year         = {2022},\\n  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/19844},\\n  timestamp    = {Wed, 20 Jul 2022 14:27:38 +0200},\\n  biburl       = {https://dblp.org/rec/conf/aips/DohmenTAB0V22.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Dohmen, T.\",\"Topper, N.\",\"Atia, G. K.\",\"Beckus, A.\",\"Trivedi, A.\",\"Velasquez, A.\"],\"editor_short\":[\"Kumar, A.\",\"Thiébaux, S.\",\"Varakantham, P.\",\"Yeoh, W.\"],\"key\":\"DBLP:conf/aips/DohmenTAB0V22\",\"id\":\"DBLP:conf/aips/DohmenTAB0V22\",\"bibbaseid\":\"dohmen-topper-atia-beckus-trivedi-velasquez-inferringprobabilisticrewardmachinesfromnonmarkovianrewardsignalsforreinforcementlearning-2022\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://ojs.aaai.org/index.php/ICAPS/article/view/19844\"},\"metadata\":{\"authorlinks\":{\"dohmen, t\":\"https://taylordohmen.github.io/\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Rajeev\"],\"propositions\":[],\"lastnames\":[\"Alur\"],\"suffixes\":[]},{\"firstnames\":[\"Taylor\"],\"propositions\":[],\"lastnames\":[\"Dohmen\"],\"suffixes\":[]},{\"firstnames\":[\"Ashutosh\"],\"propositions\":[],\"lastnames\":[\"Trivedi\"],\"suffixes\":[]}],\"title\":\"Composing Copyless Streaming String Transducers\",\"journal\":\"CoRR\",\"volume\":\"abs/2209.05448\",\"year\":\"2022\",\"url\":\"https://doi.org/10.48550/arXiv.2209.05448\",\"doi\":\"10.48550/ARXIV.2209.05448\",\"eprinttype\":\"arXiv\",\"eprint\":\"2209.05448\",\"timestamp\":\"Tue, 27 Sep 2022 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/journals/corr/abs-2209-05448.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/corr/abs-2209-05448,\\n  author       = {Rajeev Alur and\\n                  Taylor Dohmen and\\n                  Ashutosh Trivedi},\\n  title        = {Composing Copyless Streaming String Transducers},\\n  journal      = {CoRR},\\n  volume       = {abs/2209.05448},\\n  year         = {2022},\\n  url          = {https://doi.org/10.48550/arXiv.2209.05448},\\n  doi          = {10.48550/ARXIV.2209.05448},\\n  eprinttype    = {arXiv},\\n  eprint       = {2209.05448},\\n  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-05448.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Alur, R.\",\"Dohmen, T.\",\"Trivedi, A.\"],\"key\":\"DBLP:journals/corr/abs-2209-05448\",\"id\":\"DBLP:journals/corr/abs-2209-05448\",\"bibbaseid\":\"alur-dohmen-trivedi-composingcopylessstreamingstringtransducers-2022\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.48550/arXiv.2209.05448\"},\"metadata\":{\"authorlinks\":{\"dohmen, t\":\"https://taylordohmen.github.io/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Vrunda\"],\"propositions\":[],\"lastnames\":[\"Dave\"],\"suffixes\":[]},{\"firstnames\":[\"Taylor\"],\"propositions\":[],\"lastnames\":[\"Dohmen\"],\"suffixes\":[]},{\"firstnames\":[\"Shankara\",\"Narayanan\"],\"propositions\":[],\"lastnames\":[\"Krishna\"],\"suffixes\":[]},{\"firstnames\":[\"Ashutosh\"],\"propositions\":[],\"lastnames\":[\"Trivedi\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Evripidis\"],\"propositions\":[],\"lastnames\":[\"Bampis\"],\"suffixes\":[]},{\"firstnames\":[\"Aris\"],\"propositions\":[],\"lastnames\":[\"Pagourtzis\"],\"suffixes\":[]}],\"title\":\"Regular Model Checking with Regular Relations\",\"booktitle\":\"Fundamentals of Computation Theory - 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings\",\"series\":\"Lecture Notes in Computer Science\",\"volume\":\"12867\",\"pages\":\"190–203\",\"publisher\":\"Springer\",\"year\":\"2021\",\"url\":\"https://doi.org/10.1007/978-3-030-86593-1\\\\_13\",\"doi\":\"10.1007/978-3-030-86593-1_13\",\"timestamp\":\"Tue, 14 Sep 2021 19:09:35 +0200\",\"biburl\":\"https://dblp.org/rec/conf/fct/DaveDKT21.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/fct/DaveDKT21,\\n  author       = {Vrunda Dave and\\n                  Taylor Dohmen and\\n                  Shankara Narayanan Krishna and\\n                  Ashutosh Trivedi},\\n  editor       = {Evripidis Bampis and\\n                  Aris Pagourtzis},\\n  title        = {Regular Model Checking with Regular Relations},\\n  booktitle    = {Fundamentals of Computation Theory - 23rd International Symposium,\\n                  {FCT} 2021, Athens, Greece, September 12-15, 2021, Proceedings},\\n  series       = {Lecture Notes in Computer Science},\\n  volume       = {12867},\\n  pages        = {190--203},\\n  publisher    = {Springer},\\n  year         = {2021},\\n  url          = {https://doi.org/10.1007/978-3-030-86593-1\\\\_13},\\n  doi          = {10.1007/978-3-030-86593-1\\\\_13},\\n  timestamp    = {Tue, 14 Sep 2021 19:09:35 +0200},\\n  biburl       = {https://dblp.org/rec/conf/fct/DaveDKT21.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Dave, V.\",\"Dohmen, T.\",\"Krishna, S. N.\",\"Trivedi, A.\"],\"editor_short\":[\"Bampis, E.\",\"Pagourtzis, A.\"],\"key\":\"DBLP:conf/fct/DaveDKT21\",\"id\":\"DBLP:conf/fct/DaveDKT21\",\"bibbaseid\":\"dave-dohmen-krishna-trivedi-regularmodelcheckingwithregularrelations-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/978-3-030-86593-1\\\\_13\"},\"metadata\":{\"authorlinks\":{\"dohmen, t\":\"https://taylordohmen.github.io/\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Taylor\"],\"propositions\":[],\"lastnames\":[\"Dohmen\"],\"suffixes\":[]},{\"firstnames\":[\"Ashutosh\"],\"propositions\":[],\"lastnames\":[\"Trivedi\"],\"suffixes\":[]}],\"title\":\"Discounting the Past in Stochastic Games\",\"journal\":\"CoRR\",\"volume\":\"abs/2102.06985\",\"year\":\"2021\",\"url\":\"https://arxiv.org/abs/2102.06985\",\"eprinttype\":\"arXiv\",\"eprint\":\"2102.06985\",\"timestamp\":\"Thu, 18 Feb 2021 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/journals/corr/abs-2102-06985.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/corr/abs-2102-06985,\\n  author       = {Taylor Dohmen and\\n                  Ashutosh Trivedi},\\n  title        = {Discounting the Past in Stochastic Games},\\n  journal      = {CoRR},\\n  volume       = {abs/2102.06985},\\n  year         = {2021},\\n  url          = {https://arxiv.org/abs/2102.06985},\\n  eprinttype    = {arXiv},\\n  eprint       = {2102.06985},\\n  timestamp    = {Thu, 18 Feb 2021 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-06985.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Dohmen, T.\",\"Trivedi, A.\"],\"key\":\"DBLP:journals/corr/abs-2102-06985\",\"id\":\"DBLP:journals/corr/abs-2102-06985\",\"bibbaseid\":\"dohmen-trivedi-discountingthepastinstochasticgames-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://arxiv.org/abs/2102.06985\"},\"metadata\":{\"authorlinks\":{\"dohmen, t\":\"https://taylordohmen.github.io/\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Alvaro\"],\"propositions\":[],\"lastnames\":[\"Velasquez\"],\"suffixes\":[]},{\"firstnames\":[\"Andre\"],\"propositions\":[],\"lastnames\":[\"Beckus\"],\"suffixes\":[]},{\"firstnames\":[\"Taylor\"],\"propositions\":[],\"lastnames\":[\"Dohmen\"],\"suffixes\":[]},{\"firstnames\":[\"Ashutosh\"],\"propositions\":[],\"lastnames\":[\"Trivedi\"],\"suffixes\":[]},{\"firstnames\":[\"Noah\"],\"propositions\":[],\"lastnames\":[\"Topper\"],\"suffixes\":[]},{\"firstnames\":[\"George\",\"K.\"],\"propositions\":[],\"lastnames\":[\"Atia\"],\"suffixes\":[]}],\"title\":\"Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes\",\"journal\":\"CoRR\",\"volume\":\"abs/2107.04633\",\"year\":\"2021\",\"url\":\"https://arxiv.org/abs/2107.04633\",\"eprinttype\":\"arXiv\",\"eprint\":\"2107.04633\",\"timestamp\":\"Tue, 20 Jul 2021 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/journals/corr/abs-2107-04633.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/corr/abs-2107-04633,\\n  author       = {Alvaro Velasquez and\\n                  Andre Beckus and\\n                  Taylor Dohmen and\\n                  Ashutosh Trivedi and\\n                  Noah Topper and\\n                  George K. Atia},\\n  title        = {Learning Probabilistic Reward Machines from Non-Markovian Stochastic\\n                  Reward Processes},\\n  journal      = {CoRR},\\n  volume       = {abs/2107.04633},\\n  year         = {2021},\\n  url          = {https://arxiv.org/abs/2107.04633},\\n  eprinttype    = {arXiv},\\n  eprint       = {2107.04633},\\n  timestamp    = {Tue, 20 Jul 2021 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-04633.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Velasquez, A.\",\"Beckus, A.\",\"Dohmen, T.\",\"Trivedi, A.\",\"Topper, N.\",\"Atia, G. K.\"],\"key\":\"DBLP:journals/corr/abs-2107-04633\",\"id\":\"DBLP:journals/corr/abs-2107-04633\",\"bibbaseid\":\"velasquez-beckus-dohmen-trivedi-topper-atia-learningprobabilisticrewardmachinesfromnonmarkovianstochasticrewardprocesses-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://arxiv.org/abs/2107.04633\"},\"metadata\":{\"authorlinks\":{\"dohmen, t\":\"https://taylordohmen.github.io/\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Vrunda\"],\"propositions\":[],\"lastnames\":[\"Dave\"],\"suffixes\":[]},{\"firstnames\":[\"Taylor\"],\"propositions\":[],\"lastnames\":[\"Dohmen\"],\"suffixes\":[]},{\"firstnames\":[\"Shankara\",\"Narayanan\"],\"propositions\":[],\"lastnames\":[\"Krishna\"],\"suffixes\":[]},{\"firstnames\":[\"Ashutosh\"],\"propositions\":[],\"lastnames\":[\"Trivedi\"],\"suffixes\":[]}],\"title\":\"MSO-Definable Regular Model Checking\",\"journal\":\"CoRR\",\"volume\":\"abs/1910.09072\",\"year\":\"2019\",\"url\":\"http://arxiv.org/abs/1910.09072\",\"eprinttype\":\"arXiv\",\"eprint\":\"1910.09072\",\"timestamp\":\"Tue, 22 Oct 2019 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/journals/corr/abs-1910-09072.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/corr/abs-1910-09072,\\n  author       = {Vrunda Dave and\\n                  Taylor Dohmen and\\n                  Shankara Narayanan Krishna and\\n                  Ashutosh Trivedi},\\n  title        = {MSO-Definable Regular Model Checking},\\n  journal      = {CoRR},\\n  volume       = {abs/1910.09072},\\n  year         = {2019},\\n  url          = {http://arxiv.org/abs/1910.09072},\\n  eprinttype    = {arXiv},\\n  eprint       = {1910.09072},\\n  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-09072.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Dave, V.\",\"Dohmen, T.\",\"Krishna, S. N.\",\"Trivedi, A.\"],\"key\":\"DBLP:journals/corr/abs-1910-09072\",\"id\":\"DBLP:journals/corr/abs-1910-09072\",\"bibbaseid\":\"dave-dohmen-krishna-trivedi-msodefinableregularmodelchecking-2019\",\"role\":\"author\",\"urls\":{\"Paper\":\"http://arxiv.org/abs/1910.09072\"},\"metadata\":{\"authorlinks\":{\"dohmen, t\":\"https://taylordohmen.github.io/\"}},\"html\":\"\"}],\n      metadata: {\"owner\":\"dohmen, t\",\"authorlinks\":{\"dohmen, t\":\"https://taylordohmen.github.io/\"}},\n      ownerID: \"Fw838drwyzekN7vKk\"\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"3272.bib\" href=\"data:text/bibtex;base64,QGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2F0YWwvRG9obWVuMDIzLAogIGF1dGhvciAgICAgICA9IHtUYXlsb3IgRG9obWVuIGFuZAogICAgICAgICAgICAgICAgICBBc2h1dG9zaCBUcml2ZWRpfSwKICBlZGl0b3IgICAgICAgPSB7Tm9hIEFnbW9uIGFuZAogICAgICAgICAgICAgICAgICBCbyBBbiBhbmQKICAgICAgICAgICAgICAgICAgQWxlc3NhbmRybyBSaWNjaSBhbmQKICAgICAgICAgICAgICAgICAgV2lsbGlhbSBZZW9ofSwKICB0aXRsZSAgICAgICAgPSB7UmVpbmZvcmNlbWVudCBMZWFybmluZyB3aXRoIERlcHJlY2lhdGluZyBBc3NldHN9LAogIGJvb2t0aXRsZSAgICA9IHtQcm9jZWVkaW5ncyBvZiB0aGUgMjAyMyBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gQXV0b25vbW91cyBBZ2VudHMKICAgICAgICAgICAgICAgICAgYW5kIE11bHRpYWdlbnQgU3lzdGVtcywge0FBTUFTfSAyMDIzLCBMb25kb24sIFVuaXRlZCBLaW5nZG9tLCAyOSBNYXkKICAgICAgICAgICAgICAgICAgMjAyMyAtIDIgSnVuZSAyMDIzfSwKICBwYWdlcyAgICAgICAgPSB7MjYyOC0tMjYzMH0sCiAgcHVibGlzaGVyICAgID0ge3tBQ019fSwKICB5ZWFyICAgICAgICAgPSB7MjAyM30sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZGwuYWNtLm9yZy9kb2kvMTAuNTU1NS8zNTQ1OTQ2LjM1OTkwMjR9LAogIGRvaSAgICAgICAgICA9IHsxMC41NTU1LzM1NDU5NDYuMzU5OTAyNH0sCiAgdGltZXN0YW1wICAgID0ge1R1ZSwgMjMgTWF5IDIwMjMgMTQ6Mjc6MTQgKzAyMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9jb25mL2F0YWwvRG9obWVuMDIzLmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2ZtL0Jha0RTVFZXMjMsCiAgYXV0aG9yICAgICAgID0ge1N0YW5sZXkgQmFrIGFuZAogICAgICAgICAgICAgICAgICBUYXlsb3IgRG9obWVuIGFuZAogICAgICAgICAgICAgICAgICBLLiBTdWJyYW1hbmkgYW5kCiAgICAgICAgICAgICAgICAgIEFzaHV0b3NoIFRyaXZlZGkgYW5kCiAgICAgICAgICAgICAgICAgIEFsdmFybyBWZWxhc3F1ZXogYW5kCiAgICAgICAgICAgICAgICAgIFBpb3RyIFdvamNpZWNob3dza2l9LAogIGVkaXRvciAgICAgICA9IHtNYXJzaGEgQ2hlY2hpayBhbmQKICAgICAgICAgICAgICAgICAgSm9vc3R7LX1QaWV0ZXIgS2F0b2VuIGFuZAogICAgICAgICAgICAgICAgICBNYXJ0aW4gTGV1Y2tlcn0sCiAgdGl0bGUgICAgICAgID0ge1RoZSBPY3RhdG9wZSBBYnN0cmFjdCBEb21haW4gZm9yIFZlcmlmaWNhdGlvbiBvZiBOZXVyYWwgTmV0d29ya3N9LAogIGJvb2t0aXRsZSAgICA9IHtGb3JtYWwgTWV0aG9kcyAtIDI1dGggSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0sIHtGTX0gMjAyMywgTHtcInt1fX1iZWNrLAogICAgICAgICAgICAgICAgICBHZXJtYW55LCBNYXJjaCA2LTEwLCAyMDIzLCBQcm9jZWVkaW5nc30sCiAgc2VyaWVzICAgICAgID0ge0xlY3R1cmUgTm90ZXMgaW4gQ29tcHV0ZXIgU2NpZW5jZX0sCiAgdm9sdW1lICAgICAgID0gezE0MDAwfSwKICBwYWdlcyAgICAgICAgPSB7NDU0LS00NzJ9LAogIHB1Ymxpc2hlciAgICA9IHtTcHJpbmdlcn0sCiAgeWVhciAgICAgICAgID0gezIwMjN9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTAwNy85NzgtMy0wMzEtMjc0ODEtN1xfMjZ9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMDA3Lzk3OC0zLTAzMS0yNzQ4MS03XF8yNn0sCiAgdGltZXN0YW1wICAgID0ge0ZyaSwgMDkgRmViIDIwMjQgMDA6MDA6MDAgKzAxMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9jb25mL2ZtL0Jha0RTVFZXMjMuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAYXJ0aWNsZXtEQkxQOmpvdXJuYWxzL2NvcnIvYWJzLTIzMDItMTQxNzYsCiAgYXV0aG9yICAgICAgID0ge1RheWxvciBEb2htZW4gYW5kCiAgICAgICAgICAgICAgICAgIEFzaHV0b3NoIFRyaXZlZGl9LAogIHRpdGxlICAgICAgICA9IHtSZWluZm9yY2VtZW50IExlYXJuaW5nIHdpdGggRGVwcmVjaWF0aW5nIEFzc2V0c30sCiAgam91cm5hbCAgICAgID0ge0NvUlJ9LAogIHZvbHVtZSAgICAgICA9IHthYnMvMjMwMi4xNDE3Nn0sCiAgeWVhciAgICAgICAgID0gezIwMjN9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuNDg1NTAvYXJYaXYuMjMwMi4xNDE3Nn0sCiAgZG9pICAgICAgICAgID0gezEwLjQ4NTUwL0FSWElWLjIzMDIuMTQxNzZ9LAogIGVwcmludHR5cGUgICAgPSB7YXJYaXZ9LAogIGVwcmludCAgICAgICA9IHsyMzAyLjE0MTc2fSwKICB0aW1lc3RhbXAgICAgPSB7VGh1LCAwMiBNYXIgMjAyMyAwMDowMDowMCArMDEwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2pvdXJuYWxzL2NvcnIvYWJzLTIzMDItMTQxNzYuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAaW5wcm9jZWVkaW5nc3tEQkxQOmNvbmYvYWlwcy9Eb2htZW5UQUIwVjIyLAogIGF1dGhvciAgICAgICA9IHtUYXlsb3IgRG9obWVuIGFuZAogICAgICAgICAgICAgICAgICBOb2FoIFRvcHBlciBhbmQKICAgICAgICAgICAgICAgICAgR2VvcmdlIEsuIEF0aWEgYW5kCiAgICAgICAgICAgICAgICAgIEFuZHJlIEJlY2t1cyBhbmQKICAgICAgICAgICAgICAgICAgQXNodXRvc2ggVHJpdmVkaSBhbmQKICAgICAgICAgICAgICAgICAgQWx2YXJvIFZlbGFzcXVlen0sCiAgZWRpdG9yICAgICAgID0ge0Frc2hhdCBLdW1hciBhbmQKICAgICAgICAgICAgICAgICAgU3lsdmllIFRoaXtcJ3tlfX1iYXV4IGFuZAogICAgICAgICAgICAgICAgICBQcmFkZWVwIFZhcmFrYW50aGFtIGFuZAogICAgICAgICAgICAgICAgICBXaWxsaWFtIFllb2h9LAogIHRpdGxlICAgICAgICA9IHtJbmZlcnJpbmcgUHJvYmFiaWxpc3RpYyBSZXdhcmQgTWFjaGluZXMgZnJvbSBOb24tTWFya292aWFuIFJld2FyZAogICAgICAgICAgICAgICAgICBTaWduYWxzIGZvciBSZWluZm9yY2VtZW50IExlYXJuaW5nfSwKICBib29rdGl0bGUgICAgPSB7UHJvY2VlZGluZ3Mgb2YgdGhlIFRoaXJ0eS1TZWNvbmQgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEF1dG9tYXRlZAogICAgICAgICAgICAgICAgICBQbGFubmluZyBhbmQgU2NoZWR1bGluZywge0lDQVBTfSAyMDIyLCBTaW5nYXBvcmUgKHZpcnR1YWwpLCBKdW5lIDEzLTI0LAogICAgICAgICAgICAgICAgICAyMDIyfSwKICBwYWdlcyAgICAgICAgPSB7NTc0LS01ODJ9LAogIHB1Ymxpc2hlciAgICA9IHt7QUFBSX0gUHJlc3N9LAogIHllYXIgICAgICAgICA9IHsyMDIyfSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9vanMuYWFhaS5vcmcvaW5kZXgucGhwL0lDQVBTL2FydGljbGUvdmlldy8xOTg0NH0sCiAgdGltZXN0YW1wICAgID0ge1dlZCwgMjAgSnVsIDIwMjIgMTQ6Mjc6MzggKzAyMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9jb25mL2FpcHMvRG9obWVuVEFCMFYyMi5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBhcnRpY2xle0RCTFA6am91cm5hbHMvY29yci9hYnMtMjIwOS0wNTQ0OCwKICBhdXRob3IgICAgICAgPSB7UmFqZWV2IEFsdXIgYW5kCiAgICAgICAgICAgICAgICAgIFRheWxvciBEb2htZW4gYW5kCiAgICAgICAgICAgICAgICAgIEFzaHV0b3NoIFRyaXZlZGl9LAogIHRpdGxlICAgICAgICA9IHtDb21wb3NpbmcgQ29weWxlc3MgU3RyZWFtaW5nIFN0cmluZyBUcmFuc2R1Y2Vyc30sCiAgam91cm5hbCAgICAgID0ge0NvUlJ9LAogIHZvbHVtZSAgICAgICA9IHthYnMvMjIwOS4wNTQ0OH0sCiAgeWVhciAgICAgICAgID0gezIwMjJ9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuNDg1NTAvYXJYaXYuMjIwOS4wNTQ0OH0sCiAgZG9pICAgICAgICAgID0gezEwLjQ4NTUwL0FSWElWLjIyMDkuMDU0NDh9LAogIGVwcmludHR5cGUgICAgPSB7YXJYaXZ9LAogIGVwcmludCAgICAgICA9IHsyMjA5LjA1NDQ4fSwKICB0aW1lc3RhbXAgICAgPSB7VHVlLCAyNyBTZXAgMjAyMiAwMTowMDowMCArMDIwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2pvdXJuYWxzL2NvcnIvYWJzLTIyMDktMDU0NDguYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAaW5wcm9jZWVkaW5nc3tEQkxQOmNvbmYvZmN0L0RhdmVES1QyMSwKICBhdXRob3IgICAgICAgPSB7VnJ1bmRhIERhdmUgYW5kCiAgICAgICAgICAgICAgICAgIFRheWxvciBEb2htZW4gYW5kCiAgICAgICAgICAgICAgICAgIFNoYW5rYXJhIE5hcmF5YW5hbiBLcmlzaG5hIGFuZAogICAgICAgICAgICAgICAgICBBc2h1dG9zaCBUcml2ZWRpfSwKICBlZGl0b3IgICAgICAgPSB7RXZyaXBpZGlzIEJhbXBpcyBhbmQKICAgICAgICAgICAgICAgICAgQXJpcyBQYWdvdXJ0emlzfSwKICB0aXRsZSAgICAgICAgPSB7UmVndWxhciBNb2RlbCBDaGVja2luZyB3aXRoIFJlZ3VsYXIgUmVsYXRpb25zfSwKICBib29rdGl0bGUgICAgPSB7RnVuZGFtZW50YWxzIG9mIENvbXB1dGF0aW9uIFRoZW9yeSAtIDIzcmQgSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0sCiAgICAgICAgICAgICAgICAgIHtGQ1R9IDIwMjEsIEF0aGVucywgR3JlZWNlLCBTZXB0ZW1iZXIgMTItMTUsIDIwMjEsIFByb2NlZWRpbmdzfSwKICBzZXJpZXMgICAgICAgPSB7TGVjdHVyZSBOb3RlcyBpbiBDb21wdXRlciBTY2llbmNlfSwKICB2b2x1bWUgICAgICAgPSB7MTI4Njd9LAogIHBhZ2VzICAgICAgICA9IHsxOTAtLTIwM30sCiAgcHVibGlzaGVyICAgID0ge1NwcmluZ2VyfSwKICB5ZWFyICAgICAgICAgPSB7MjAyMX0sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMDA3Lzk3OC0zLTAzMC04NjU5My0xXF8xM30sCiAgZG9pICAgICAgICAgID0gezEwLjEwMDcvOTc4LTMtMDMwLTg2NTkzLTFcXzEzfSwKICB0aW1lc3RhbXAgICAgPSB7VHVlLCAxNCBTZXAgMjAyMSAxOTowOTozNSArMDIwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2NvbmYvZmN0L0RhdmVES1QyMS5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBhcnRpY2xle0RCTFA6am91cm5hbHMvY29yci9hYnMtMjEwMi0wNjk4NSwKICBhdXRob3IgICAgICAgPSB7VGF5bG9yIERvaG1lbiBhbmQKICAgICAgICAgICAgICAgICAgQXNodXRvc2ggVHJpdmVkaX0sCiAgdGl0bGUgICAgICAgID0ge0Rpc2NvdW50aW5nIHRoZSBQYXN0IGluIFN0b2NoYXN0aWMgR2FtZXN9LAogIGpvdXJuYWwgICAgICA9IHtDb1JSfSwKICB2b2x1bWUgICAgICAgPSB7YWJzLzIxMDIuMDY5ODV9LAogIHllYXIgICAgICAgICA9IHsyMDIxfSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9hcnhpdi5vcmcvYWJzLzIxMDIuMDY5ODV9LAogIGVwcmludHR5cGUgICAgPSB7YXJYaXZ9LAogIGVwcmludCAgICAgICA9IHsyMTAyLjA2OTg1fSwKICB0aW1lc3RhbXAgICAgPSB7VGh1LCAxOCBGZWIgMjAyMSAwMDowMDowMCArMDEwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2pvdXJuYWxzL2NvcnIvYWJzLTIxMDItMDY5ODUuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAYXJ0aWNsZXtEQkxQOmpvdXJuYWxzL2NvcnIvYWJzLTIxMDctMDQ2MzMsCiAgYXV0aG9yICAgICAgID0ge0FsdmFybyBWZWxhc3F1ZXogYW5kCiAgICAgICAgICAgICAgICAgIEFuZHJlIEJlY2t1cyBhbmQKICAgICAgICAgICAgICAgICAgVGF5bG9yIERvaG1lbiBhbmQKICAgICAgICAgICAgICAgICAgQXNodXRvc2ggVHJpdmVkaSBhbmQKICAgICAgICAgICAgICAgICAgTm9haCBUb3BwZXIgYW5kCiAgICAgICAgICAgICAgICAgIEdlb3JnZSBLLiBBdGlhfSwKICB0aXRsZSAgICAgICAgPSB7TGVhcm5pbmcgUHJvYmFiaWxpc3RpYyBSZXdhcmQgTWFjaGluZXMgZnJvbSBOb24tTWFya292aWFuIFN0b2NoYXN0aWMKICAgICAgICAgICAgICAgICAgUmV3YXJkIFByb2Nlc3Nlc30sCiAgam91cm5hbCAgICAgID0ge0NvUlJ9LAogIHZvbHVtZSAgICAgICA9IHthYnMvMjEwNy4wNDYzM30sCiAgeWVhciAgICAgICAgID0gezIwMjF9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2FyeGl2Lm9yZy9hYnMvMjEwNy4wNDYzM30sCiAgZXByaW50dHlwZSAgICA9IHthclhpdn0sCiAgZXByaW50ICAgICAgID0gezIxMDcuMDQ2MzN9LAogIHRpbWVzdGFtcCAgICA9IHtUdWUsIDIwIEp1bCAyMDIxIDAxOjAwOjAwICswMjAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvam91cm5hbHMvY29yci9hYnMtMjEwNy0wNDYzMy5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBhcnRpY2xle0RCTFA6am91cm5hbHMvY29yci9hYnMtMTkxMC0wOTA3MiwKICBhdXRob3IgICAgICAgPSB7VnJ1bmRhIERhdmUgYW5kCiAgICAgICAgICAgICAgICAgIFRheWxvciBEb2htZW4gYW5kCiAgICAgICAgICAgICAgICAgIFNoYW5rYXJhIE5hcmF5YW5hbiBLcmlzaG5hIGFuZAogICAgICAgICAgICAgICAgICBBc2h1dG9zaCBUcml2ZWRpfSwKICB0aXRsZSAgICAgICAgPSB7TVNPLURlZmluYWJsZSBSZWd1bGFyIE1vZGVsIENoZWNraW5nfSwKICBqb3VybmFsICAgICAgPSB7Q29SUn0sCiAgdm9sdW1lICAgICAgID0ge2Ficy8xOTEwLjA5MDcyfSwKICB5ZWFyICAgICAgICAgPSB7MjAxOX0sCiAgdXJsICAgICAgICAgID0ge2h0dHA6Ly9hcnhpdi5vcmcvYWJzLzE5MTAuMDkwNzJ9LAogIGVwcmludHR5cGUgICAgPSB7YXJYaXZ9LAogIGVwcmludCAgICAgICA9IHsxOTEwLjA5MDcyfSwKICB0aW1lc3RhbXAgICAgPSB7VHVlLCAyMiBPY3QgMjAxOSAwMTowMDowMCArMDIwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2pvdXJuYWxzL2NvcnIvYWJzLTE5MTAtMDkwNzIuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoK\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=https://dblp.org/pid/251/3272.bib?param=1\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=https://dblp.org/pid/251/3272.bib?param=1\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=https://dblp.org/pid/251/3272.bib?param=1&amp;jsonp=1&amp;commas=true&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https://dblp.org/pid/251/3272.bib?param=1&amp;jsonp=1&amp;commas=true\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=https://dblp.org/pid/251/3272.bib?param=1&amp;jsonp=1&amp;commas=true\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2023\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2023')\"\n      onkeypress=\"toggleGroup('group_2023')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2023</span>\n      <span class=\"bibbase_group_count\">\n        \n        (3)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://dl.acm.org/doi/10.5555/3545946.3599024\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023', 'https://dl.acm.org/doi/10.5555/3545946.3599024', event);\">\n    Reinforcement Learning with Depreciating Assets.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://taylordohmen.github.io/\">Dohmen, T.</a>,  &amp; Trivedi, A.\n</span>\n\n  \n\n</span>\n\n  In Agmon, N., An, B., Ricci, A.,  &amp; Yeoh, W., editor(s), <i>Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023</i>, pages 2628–2630,  2023. ACM\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://dl.acm.org/doi/10.5555/3545946.3599024\"\n     onclick=\"log_download('dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023', 'https://dl.acm.org/doi/10.5555/3545946.3599024', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Reinforcement Learning with Depreciating Assets [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.5555/3545946.3599024\"\n     onclick=\"log_download('dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023', 'http://doi.org/10.5555/3545946.3599024', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/atal/Dohmen023,\n  author       = {Taylor Dohmen and\n                  Ashutosh Trivedi},\n  editor       = {Noa Agmon and\n                  Bo An and\n                  Alessandro Ricci and\n                  William Yeoh},\n  title        = {Reinforcement Learning with Depreciating Assets},\n  booktitle    = {Proceedings of the 2023 International Conference on Autonomous Agents\n                  and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May\n                  2023 - 2 June 2023},\n  pages        = {2628--2630},\n  publisher    = {{ACM}},\n  year         = {2023},\n  url          = {https://dl.acm.org/doi/10.5555/3545946.3599024},\n  doi          = {10.5555/3545946.3599024},\n  timestamp    = {Tue, 23 May 2023 14:27:14 +0200},\n  biburl       = {https://dblp.org/rec/conf/atal/Dohmen023.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"bak-dohmen-subramani-trivedi-velasquez-wojciechowski-theoctatopeabstractdomainforverificationofneuralnetworks-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/978-3-031-27481-7\\_26\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bak-dohmen-subramani-trivedi-velasquez-wojciechowski-theoctatopeabstractdomainforverificationofneuralnetworks-2023', 'https://doi.org/10.1007/978-3-031-27481-7\\_26', event);\">\n    The Octatope Abstract Domain for Verification of Neural Networks.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Bak, S., <a class=\"bibbase author link\" href=\"https://taylordohmen.github.io/\">Dohmen, T.</a>, Subramani, K., Trivedi, A., Velasquez, A.,  &amp; Wojciechowski, P.\n</span>\n\n  \n\n</span>\n\n  In Chechik, M., Katoen, J.,  &amp; Leucker, M., editor(s), <i>Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings</i>, volume 14000, of <i>Lecture Notes in Computer Science</i>, pages 454–472,  2023. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/978-3-031-27481-7\\_26\"\n     onclick=\"log_download('bak-dohmen-subramani-trivedi-velasquez-wojciechowski-theoctatopeabstractdomainforverificationofneuralnetworks-2023', 'https://doi.org/10.1007/978-3-031-27481-7\\_26', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"The Octatope Abstract Domain for Verification of Neural Networks [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-031-27481-7_26\"\n     onclick=\"log_download('bak-dohmen-subramani-trivedi-velasquez-wojciechowski-theoctatopeabstractdomainforverificationofneuralnetworks-2023', 'http://doi.org/10.1007/978-3-031-27481-7_26', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bak-dohmen-subramani-trivedi-velasquez-wojciechowski-theoctatopeabstractdomainforverificationofneuralnetworks-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bak-dohmen-subramani-trivedi-velasquez-wojciechowski-theoctatopeabstractdomainforverificationofneuralnetworks-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/fm/BakDSTVW23,\n  author       = {Stanley Bak and\n                  Taylor Dohmen and\n                  K. Subramani and\n                  Ashutosh Trivedi and\n                  Alvaro Velasquez and\n                  Piotr Wojciechowski},\n  editor       = {Marsha Chechik and\n                  Joost{-}Pieter Katoen and\n                  Martin Leucker},\n  title        = {The Octatope Abstract Domain for Verification of Neural Networks},\n  booktitle    = {Formal Methods - 25th International Symposium, {FM} 2023, L{\\&quot;{u}}beck,\n                  Germany, March 6-10, 2023, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14000},\n  pages        = {454--472},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-27481-7\\_26},\n  doi          = {10.1007/978-3-031-27481-7\\_26},\n  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/fm/BakDSTVW23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.48550/arXiv.2302.14176\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023', 'https://doi.org/10.48550/arXiv.2302.14176', event);\">\n    Reinforcement Learning with Depreciating Assets.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://taylordohmen.github.io/\">Dohmen, T.</a>,  &amp; Trivedi, A.\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/2302.14176.  2023.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.48550/arXiv.2302.14176\"\n     onclick=\"log_download('dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023', 'https://doi.org/10.48550/arXiv.2302.14176', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Reinforcement Learning with Depreciating Assets [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.48550/ARXIV.2302.14176\"\n     onclick=\"log_download('dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023', 'http://doi.org/10.48550/ARXIV.2302.14176', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('dohmen-trivedi-reinforcementlearningwithdepreciatingassets-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/corr/abs-2302-14176,\n  author       = {Taylor Dohmen and\n                  Ashutosh Trivedi},\n  title        = {Reinforcement Learning with Depreciating Assets},\n  journal      = {CoRR},\n  volume       = {abs/2302.14176},\n  year         = {2023},\n  url          = {https://doi.org/10.48550/arXiv.2302.14176},\n  doi          = {10.48550/ARXIV.2302.14176},\n  eprinttype    = {arXiv},\n  eprint       = {2302.14176},\n  timestamp    = {Thu, 02 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-14176.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2022\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2022')\"\n      onkeypress=\"toggleGroup('group_2022')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2022</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"dohmen-topper-atia-beckus-trivedi-velasquez-inferringprobabilisticrewardmachinesfromnonmarkovianrewardsignalsforreinforcementlearning-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://ojs.aaai.org/index.php/ICAPS/article/view/19844\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'dohmen-topper-atia-beckus-trivedi-velasquez-inferringprobabilisticrewardmachinesfromnonmarkovianrewardsignalsforreinforcementlearning-2022', 'https://ojs.aaai.org/index.php/ICAPS/article/view/19844', event);\">\n    Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://taylordohmen.github.io/\">Dohmen, T.</a>, Topper, N., Atia, G. K., Beckus, A., Trivedi, A.,  &amp; Velasquez, A.\n</span>\n\n  \n\n</span>\n\n  In Kumar, A., Thiébaux, S., Varakantham, P.,  &amp; Yeoh, W., editor(s), <i>Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022</i>, pages 574–582,  2022. AAAI Press\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://ojs.aaai.org/index.php/ICAPS/article/view/19844\"\n     onclick=\"log_download('dohmen-topper-atia-beckus-trivedi-velasquez-inferringprobabilisticrewardmachinesfromnonmarkovianrewardsignalsforreinforcementlearning-2022', 'https://ojs.aaai.org/index.php/ICAPS/article/view/19844', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/dohmen-topper-atia-beckus-trivedi-velasquez-inferringprobabilisticrewardmachinesfromnonmarkovianrewardsignalsforreinforcementlearning-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('dohmen-topper-atia-beckus-trivedi-velasquez-inferringprobabilisticrewardmachinesfromnonmarkovianrewardsignalsforreinforcementlearning-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/aips/DohmenTAB0V22,\n  author       = {Taylor Dohmen and\n                  Noah Topper and\n                  George K. Atia and\n                  Andre Beckus and\n                  Ashutosh Trivedi and\n                  Alvaro Velasquez},\n  editor       = {Akshat Kumar and\n                  Sylvie Thi{\\&#x27;{e}}baux and\n                  Pradeep Varakantham and\n                  William Yeoh},\n  title        = {Inferring Probabilistic Reward Machines from Non-Markovian Reward\n                  Signals for Reinforcement Learning},\n  booktitle    = {Proceedings of the Thirty-Second International Conference on Automated\n                  Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,\n                  2022},\n  pages        = {574--582},\n  publisher    = {{AAAI} Press},\n  year         = {2022},\n  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/19844},\n  timestamp    = {Wed, 20 Jul 2022 14:27:38 +0200},\n  biburl       = {https://dblp.org/rec/conf/aips/DohmenTAB0V22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"alur-dohmen-trivedi-composingcopylessstreamingstringtransducers-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.48550/arXiv.2209.05448\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'alur-dohmen-trivedi-composingcopylessstreamingstringtransducers-2022', 'https://doi.org/10.48550/arXiv.2209.05448', event);\">\n    Composing Copyless Streaming String Transducers.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Alur, R., <a class=\"bibbase author link\" href=\"https://taylordohmen.github.io/\">Dohmen, T.</a>,  &amp; Trivedi, A.\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/2209.05448.  2022.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.48550/arXiv.2209.05448\"\n     onclick=\"log_download('alur-dohmen-trivedi-composingcopylessstreamingstringtransducers-2022', 'https://doi.org/10.48550/arXiv.2209.05448', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Composing Copyless Streaming String Transducers [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.48550/ARXIV.2209.05448\"\n     onclick=\"log_download('alur-dohmen-trivedi-composingcopylessstreamingstringtransducers-2022', 'http://doi.org/10.48550/ARXIV.2209.05448', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/alur-dohmen-trivedi-composingcopylessstreamingstringtransducers-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('alur-dohmen-trivedi-composingcopylessstreamingstringtransducers-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/corr/abs-2209-05448,\n  author       = {Rajeev Alur and\n                  Taylor Dohmen and\n                  Ashutosh Trivedi},\n  title        = {Composing Copyless Streaming String Transducers},\n  journal      = {CoRR},\n  volume       = {abs/2209.05448},\n  year         = {2022},\n  url          = {https://doi.org/10.48550/arXiv.2209.05448},\n  doi          = {10.48550/ARXIV.2209.05448},\n  eprinttype    = {arXiv},\n  eprint       = {2209.05448},\n  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-05448.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2021\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2021')\"\n      onkeypress=\"toggleGroup('group_2021')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2021</span>\n      <span class=\"bibbase_group_count\">\n        \n        (3)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"dave-dohmen-krishna-trivedi-regularmodelcheckingwithregularrelations-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/978-3-030-86593-1\\_13\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'dave-dohmen-krishna-trivedi-regularmodelcheckingwithregularrelations-2021', 'https://doi.org/10.1007/978-3-030-86593-1\\_13', event);\">\n    Regular Model Checking with Regular Relations.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Dave, V., <a class=\"bibbase author link\" href=\"https://taylordohmen.github.io/\">Dohmen, T.</a>, Krishna, S. N.,  &amp; Trivedi, A.\n</span>\n\n  \n\n</span>\n\n  In Bampis, E.,  &amp; Pagourtzis, A., editor(s), <i>Fundamentals of Computation Theory - 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings</i>, volume 12867, of <i>Lecture Notes in Computer Science</i>, pages 190–203,  2021. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/978-3-030-86593-1\\_13\"\n     onclick=\"log_download('dave-dohmen-krishna-trivedi-regularmodelcheckingwithregularrelations-2021', 'https://doi.org/10.1007/978-3-030-86593-1\\_13', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Regular Model Checking with Regular Relations [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-030-86593-1_13\"\n     onclick=\"log_download('dave-dohmen-krishna-trivedi-regularmodelcheckingwithregularrelations-2021', 'http://doi.org/10.1007/978-3-030-86593-1_13', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/dave-dohmen-krishna-trivedi-regularmodelcheckingwithregularrelations-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('dave-dohmen-krishna-trivedi-regularmodelcheckingwithregularrelations-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/fct/DaveDKT21,\n  author       = {Vrunda Dave and\n                  Taylor Dohmen and\n                  Shankara Narayanan Krishna and\n                  Ashutosh Trivedi},\n  editor       = {Evripidis Bampis and\n                  Aris Pagourtzis},\n  title        = {Regular Model Checking with Regular Relations},\n  booktitle    = {Fundamentals of Computation Theory - 23rd International Symposium,\n                  {FCT} 2021, Athens, Greece, September 12-15, 2021, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12867},\n  pages        = {190--203},\n  publisher    = {Springer},\n  year         = {2021},\n  url          = {https://doi.org/10.1007/978-3-030-86593-1\\_13},\n  doi          = {10.1007/978-3-030-86593-1\\_13},\n  timestamp    = {Tue, 14 Sep 2021 19:09:35 +0200},\n  biburl       = {https://dblp.org/rec/conf/fct/DaveDKT21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"dohmen-trivedi-discountingthepastinstochasticgames-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/2102.06985\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'dohmen-trivedi-discountingthepastinstochasticgames-2021', 'https://arxiv.org/abs/2102.06985', event);\">\n    Discounting the Past in Stochastic Games.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://taylordohmen.github.io/\">Dohmen, T.</a>,  &amp; Trivedi, A.\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/2102.06985.  2021.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/2102.06985\"\n     onclick=\"log_download('dohmen-trivedi-discountingthepastinstochasticgames-2021', 'https://arxiv.org/abs/2102.06985', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Discounting the Past in Stochastic Games [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/dohmen-trivedi-discountingthepastinstochasticgames-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('dohmen-trivedi-discountingthepastinstochasticgames-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/corr/abs-2102-06985,\n  author       = {Taylor Dohmen and\n                  Ashutosh Trivedi},\n  title        = {Discounting the Past in Stochastic Games},\n  journal      = {CoRR},\n  volume       = {abs/2102.06985},\n  year         = {2021},\n  url          = {https://arxiv.org/abs/2102.06985},\n  eprinttype    = {arXiv},\n  eprint       = {2102.06985},\n  timestamp    = {Thu, 18 Feb 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-06985.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"velasquez-beckus-dohmen-trivedi-topper-atia-learningprobabilisticrewardmachinesfromnonmarkovianstochasticrewardprocesses-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/2107.04633\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'velasquez-beckus-dohmen-trivedi-topper-atia-learningprobabilisticrewardmachinesfromnonmarkovianstochasticrewardprocesses-2021', 'https://arxiv.org/abs/2107.04633', event);\">\n    Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Velasquez, A., Beckus, A., <a class=\"bibbase author link\" href=\"https://taylordohmen.github.io/\">Dohmen, T.</a>, Trivedi, A., Topper, N.,  &amp; Atia, G. K.\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/2107.04633.  2021.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/2107.04633\"\n     onclick=\"log_download('velasquez-beckus-dohmen-trivedi-topper-atia-learningprobabilisticrewardmachinesfromnonmarkovianstochasticrewardprocesses-2021', 'https://arxiv.org/abs/2107.04633', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/velasquez-beckus-dohmen-trivedi-topper-atia-learningprobabilisticrewardmachinesfromnonmarkovianstochasticrewardprocesses-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('velasquez-beckus-dohmen-trivedi-topper-atia-learningprobabilisticrewardmachinesfromnonmarkovianstochasticrewardprocesses-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/corr/abs-2107-04633,\n  author       = {Alvaro Velasquez and\n                  Andre Beckus and\n                  Taylor Dohmen and\n                  Ashutosh Trivedi and\n                  Noah Topper and\n                  George K. Atia},\n  title        = {Learning Probabilistic Reward Machines from Non-Markovian Stochastic\n                  Reward Processes},\n  journal      = {CoRR},\n  volume       = {abs/2107.04633},\n  year         = {2021},\n  url          = {https://arxiv.org/abs/2107.04633},\n  eprinttype    = {arXiv},\n  eprint       = {2107.04633},\n  timestamp    = {Tue, 20 Jul 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-04633.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2019\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2019')\"\n      onkeypress=\"toggleGroup('group_2019')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2019</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"dave-dohmen-krishna-trivedi-msodefinableregularmodelchecking-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://arxiv.org/abs/1910.09072\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'dave-dohmen-krishna-trivedi-msodefinableregularmodelchecking-2019', 'http://arxiv.org/abs/1910.09072', event);\">\n    MSO-Definable Regular Model Checking.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Dave, V., <a class=\"bibbase author link\" href=\"https://taylordohmen.github.io/\">Dohmen, T.</a>, Krishna, S. N.,  &amp; Trivedi, A.\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/1910.09072.  2019.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://arxiv.org/abs/1910.09072\"\n     onclick=\"log_download('dave-dohmen-krishna-trivedi-msodefinableregularmodelchecking-2019', 'http://arxiv.org/abs/1910.09072', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"MSO-Definable Regular Model Checking [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/dave-dohmen-krishna-trivedi-msodefinableregularmodelchecking-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('dave-dohmen-krishna-trivedi-msodefinableregularmodelchecking-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/corr/abs-1910-09072,\n  author       = {Vrunda Dave and\n                  Taylor Dohmen and\n                  Shankara Narayanan Krishna and\n                  Ashutosh Trivedi},\n  title        = {MSO-Definable Regular Model Checking},\n  journal      = {CoRR},\n  volume       = {abs/1910.09072},\n  year         = {2019},\n  url          = {http://arxiv.org/abs/1910.09072},\n  eprinttype    = {arXiv},\n  eprint       = {1910.09072},\n  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-09072.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);