Randomized refinement checking of timed I/O automata

DOI10.1007/978-3-030-62822-2_5MaRDI QIDQ2169111zbMATH OpenOpenAlexFDO

Authors Andrej Kiviriga, Ulrik Nyman, Kim G. Larsen

Publication date 1 September 2022

Full work available at URL https://doi.org/10.1007/978-3-030-62822-2_5

zbMATH Keywords

model-checkingrandom walksrefinementstate-space explosiontimed I/O automata

Mathematics Subject Classification ID

Random walks on graphs (05C81) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Refinement checking based on simulation relations
• Automatic Abstraction Refinement for Timed Automata
• Verified model checking of timed automata
• scientific article; zbMATH DE number 1884415
• scientific article; zbMATH DE number 1507209

This page was built for publication: Randomized refinement checking of timed I/O automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2169111)