Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan 0001, Ashutosh Trivedi 0001. Weighted Transducers for Robustness Verification. In Igor Konnov 0001, Laura Kovács, editors, 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference). Volume 171 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
@inproceedings{FiliotMR0020,
title = {Weighted Transducers for Robustness Verification},
author = {Emmanuel Filiot and Nicolas Mazzocchi and Jean-François Raskin and Sriram Sankaranarayanan 0001 and Ashutosh Trivedi 0001},
year = {2020},
doi = {10.4230/LIPIcs.CONCUR.2020.17},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.17},
researchr = {https://researchr.org/publication/FiliotMR0020},
cites = {0},
citedby = {0},
booktitle = {31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)},
editor = {Igor Konnov 0001 and Laura Kovács},
volume = {171},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-160-3},
}