Optimal repair for omega-regular properties

DOI10.1007/978-3-031-19992-9_23zbMath1522.68307arXiv2207.13416OpenAlexW4312983743MaRDI QIDQ6160923

Ashutosh Trivedi, Unnamed Author, Shankara Narayanan Krishna, Vrunda Dave

Publication date: 2 June 2023

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

Full work available at URL: https://arxiv.org/abs/2207.13416

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Coping with selfish on-going behaviors
• Quantitative fair simulation games
• Program repair without regret
• The complexity of mean payoff games on graphs
• Comparator automata in quantitative verification
• Expressiveness and Closure Properties for Quantitative Languages
• From Model Checking to Model Measuring
• Quantitative Languages
• A Survey of Stochastic Games with Limsup and Liminf Objectives
• Computer Aided Verification

This page was built for publication: Optimal repair for omega-regular properties