%0 Conference Paper %1 conf/nfm/ArchibaldCSX23 %A Archibald, Blair %A Calder, Muffy %A Sevegnani, Michele %A Xu, Mengwei %B NFM %D 2023 %E Rozier, Kristin Yvonne %E Chaudhuri, Swarat %I Springer %K dblp %P 241-259 %T Quantitative Verification and Strategy Synthesis for BDI Agents. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2023.html#ArchibaldCSX23 %V 13903 %@ 978-3-031-33170-1

@inproceedings{conf/nfm/ArchibaldCSX23, added-at = {2023-11-12T00:00:00.000+0100}, author = {Archibald, Blair and Calder, Muffy and Sevegnani, Michele and Xu, Mengwei}, biburl = {https://www.bibsonomy.org/bibtex/22c8ea6cead560345cac8e5d7a631e2ad/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2023}, editor = {Rozier, Kristin Yvonne and Chaudhuri, Swarat}, ee = {https://doi.org/10.1007/978-3-031-33170-1_15}, interhash = {77f288d384bc8047bf4b5ed1a54a828c}, intrahash = {2c8ea6cead560345cac8e5d7a631e2ad}, isbn = {978-3-031-33170-1}, keywords = {dblp}, pages = {241-259}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:35:29.000+0200}, title = {Quantitative Verification and Strategy Synthesis for BDI Agents.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2023.html#ArchibaldCSX23}, volume = 13903, year = 2023 }