Uniform sampling for timed automata with application to language inclusion measurement

DOI10.1007/978-3-319-43425-4_13zbMath1377.68126OpenAlexW2485863260MaRDI QIDQ1693099

Benoît Barbot, Nicolas Basset, Marta Kwiatkowska, Marc Beunardeau

Publication date: 11 January 2018

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:fcd37269-28af-46cd-a4ed-2cc64c01ab3d

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Wordgen : a Timed word Generation Tool

Uses Software

• SageMath
• PRISM
• Uppaal
• COSMOS
• HASL

This page was built for publication: Uniform sampling for timed automata with application to language inclusion measurement