%0 Conference Paper %1 conf/atal/Hyland0KW24 %A Hyland, David %A Gutierrez, Julian %A Krishna, Shankaranarayanan %A Wooldridge, Michael J. %B AAMAS %D 2024 %E Dastani, Mehdi %E Sichman, Jaime Simão %E Alechina, Natasha %E Dignum, Virginia %I ACM %K dblp %P 871-879 %T Rational Verification with Quantitative Probabilistic Goals. %U http://dblp.uni-trier.de/db/conf/atal/aamas2024.html#Hyland0KW24

@inproceedings{conf/atal/Hyland0KW24, added-at = {2024-05-03T00:00:00.000+0200}, author = {Hyland, David and Gutierrez, Julian and Krishna, Shankaranarayanan and Wooldridge, Michael J.}, biburl = {https://www.bibsonomy.org/bibtex/28dee33b317e4d968897ac1990150db62/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2024}, editor = {Dastani, Mehdi and Sichman, Jaime Simão and Alechina, Natasha and Dignum, Virginia}, ee = {https://dl.acm.org/doi/10.5555/3635637.3662941}, interhash = {da4575c388c506d4494867c64c84cdbd}, intrahash = {8dee33b317e4d968897ac1990150db62}, keywords = {dblp}, pages = {871-879}, publisher = {ACM}, timestamp = {2024-05-06T07:18:24.000+0200}, title = {Rational Verification with Quantitative Probabilistic Goals.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2024.html#Hyland0KW24}, year = 2024 }