Weighted safety

DOI10.1007/978-3-319-02444-8_11MaRDI QIDQ5166685zbMATH OpenOpenAlexFDO

Authors Sigal Weiner, Matan Hasson, Orna Kupferman, Eyal Pery, Zohar Shevach

Publication date 8 July 2014

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

Full work available at URL https://doi.org/10.1007/978-3-319-02444-8_11

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Expressiveness and closure properties for quantitative languages
• Quantitative Languages
• Quantitative languages
• Spanning the Spectrum from Safety to Liveness
• Spanning the spectrum from safety to liveness

Cited in

(4)

• Verification, Model Checking, and Abstract Interpretation
• Quantitative safety and liveness
• Safety and liveness of quantitative automata
• Safety and liveness of quantitative properties and automata

This page was built for publication: Weighted safety

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