On the Construction of Fine Automata for Safety Properties

DOI10.1007/11901914_11zbMath1161.68572OpenAlexW1561253123MaRDI QIDQ3522903

Orna Kupferman, Robby Lampert

Publication date: 4 September 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11901914_11

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (6)

Dynamic shielding for reinforcement learning in black-box environments ⋮ Optimized temporal monitors for SystemcC ⋮ Verification of asynchronous systems with an unspecified component ⋮ On relative and probabilistic finite counterability ⋮ Symbolic approximate time-optimal control ⋮ Better Under-Approximation of Programs by Hiding Variables

This page was built for publication: On the Construction of Fine Automata for Safety Properties