@inproceedings{DBLP:conf/rp/DemriDF25,
  author       = {St{\'{e}}phane Demri and
                  Laurent Doyen and
                  Raul Fervari},
  editor       = {Pierre Ganty and
                  Alessio Mansutti},
  title        = {Knowing-How Reasoning with Budgets Recasted: Universal Reachability
                  Problem on {VASS}},
  booktitle    = {Reachability Problems - 19th International Conference, {RP} 2025,
                  Madrid, Spain, October 1-3, 2025, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {16230},
  pages        = {140--155},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-032-09524-4\_10},
  doi          = {10.1007/978-3-032-09524-4\_10},
  timestamp    = {Tue, 25 Nov 2025 13:51:48 +0100},
  biburl       = {https://dblp.org/rec/conf/rp/DemriDF25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"NhTgTP9fu6qHfHMHa","bibbaseid":"demri-doyen-fervari-knowinghowreasoningwithbudgetsrecasteduniversalreachabilityproblemonvass-2025","author_short":["Demri, S.","Doyen, L.","Fervari, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stéphane"],"propositions":[],"lastnames":["Demri"],"suffixes":[]},{"firstnames":["Laurent"],"propositions":[],"lastnames":["Doyen"],"suffixes":[]},{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]}],"editor":[{"firstnames":["Pierre"],"propositions":[],"lastnames":["Ganty"],"suffixes":[]},{"firstnames":["Alessio"],"propositions":[],"lastnames":["Mansutti"],"suffixes":[]}],"title":"Knowing-How Reasoning with Budgets Recasted: Universal Reachability Problem on VASS","booktitle":"Reachability Problems - 19th International Conference, RP 2025, Madrid, Spain, October 1-3, 2025, Proceedings","series":"Lecture Notes in Computer Science","volume":"16230","pages":"140–155","publisher":"Springer","year":"2025","url":"https://doi.org/10.1007/978-3-032-09524-4\\_10","doi":"10.1007/978-3-032-09524-4_10","timestamp":"Tue, 25 Nov 2025 13:51:48 +0100","biburl":"https://dblp.org/rec/conf/rp/DemriDF25.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rp/DemriDF25,\n author = {St{\\'{e}}phane Demri and\n Laurent Doyen and\n Raul Fervari},\n editor = {Pierre Ganty and\n Alessio Mansutti},\n title = {Knowing-How Reasoning with Budgets Recasted: Universal Reachability\n Problem on {VASS}},\n booktitle = {Reachability Problems - 19th International Conference, {RP} 2025,\n Madrid, Spain, October 1-3, 2025, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {16230},\n pages = {140--155},\n publisher = {Springer},\n year = {2025},\n url = {https://doi.org/10.1007/978-3-032-09524-4\\_10},\n doi = {10.1007/978-3-032-09524-4\\_10},\n timestamp = {Tue, 25 Nov 2025 13:51:48 +0100},\n biburl = {https://dblp.org/rec/conf/rp/DemriDF25.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Demri, S.","Doyen, L.","Fervari, R."],"editor_short":["Ganty, P.","Mansutti, A."],"key":"DBLP:conf/rp/DemriDF25","id":"DBLP:conf/rp/DemriDF25","bibbaseid":"demri-doyen-fervari-knowinghowreasoningwithbudgetsrecasteduniversalreachabilityproblemonvass-2025","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-032-09524-4\\_10"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/117/9953.bib","dataSources":["MSnnygamX7qXNxsq6","HJM7dqFRHjcZZmjge"],"keywords":[],"search_terms":["knowing","reasoning","budgets","recasted","universal","reachability","problem","vass","demri","doyen","fervari"],"title":"Knowing-How Reasoning with Budgets Recasted: Universal Reachability Problem on VASS","year":2025}