External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Weighted Transducers for Robustness Verification

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]

Authors

Emmanuel Filiot

This author has not been identified. Look up 'Emmanuel Filiot' in Google

Nicolas Mazzocchi

This author has not been identified. Look up 'Nicolas Mazzocchi' in Google

Jean-François Raskin

This author has not been identified. Look up 'Jean-François Raskin' in Google

Sriram Sankaranarayanan 0001

This author has not been identified. Look up 'Sriram Sankaranarayanan 0001' in Google

Ashutosh Trivedi 0001

This author has not been identified. Look up 'Ashutosh Trivedi 0001' in Google
runs on