Symbolic quantitative robustness analysis of timed automata

DOI10.1007/978-3-662-46681-0_48zbMath1420.68111OpenAlexW1561807072MaRDI QIDQ2272910

Ocan Sankur

Publication date: 17 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-662-46681-0_48

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (3)

Unnamed Item ⋮ Wordgen : a Timed word Generation Tool ⋮ Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction*

This page was built for publication: Symbolic quantitative robustness analysis of timed automata