Weighted Transducers for Robustness Verification Conference Proceeding

Overview

CU Boulder Authors

• Trivedi, Ashutosh
• Sankaranarayanan, Sriram

publication date

• August 26, 2020

Date in CU Experts

• February 1, 2021 11:30 AM

Full Author List

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

author count

• 5

presented at event

• 31st International Conference on Concurrency Theory  Conference

Other Profiles

Digital Object Identifier (DOI)

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

Additional Document Info

volume

• 171