Weighted Transducers for Robustness Verification Conference Proceeding

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram
• Trivedi, Ashutosh

publication date

• September 1, 2020

Date in CU Experts

• February 1, 2021 11:30 AM

Full Author List

• Filiot E; Mazzocchi N; Raskin J-F; Sankaranarayanan S; Trivedi A

Full Editor List

• Kovacs L; Konnov I

author count

• 5

citation count

• 0

published in

• Leibniz International Proceedings in Informatics  Journal

presented at event

• 31st International Conference on Concurrency Theory-CONCUR  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 1868-8969

Digital Object Identifier (DOI)

• https://doi.org/10.4230/lipics.concur.2020.17

Additional Document Info

volume

• 171