Ranking Automata and Games for Prioritized Requirements

DOI10.1007/978-3-540-70545-1_23zbMath1155.68414OpenAlexW1582497976MaRDI QIDQ3512497

Aditya Kanade, Gera Weiss, Rajeev Alur

Publication date: 15 July 2008

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70545-1_23

Mathematics Subject Classification ID

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

Related Items (10)

Multiplayer Cost Games with Simple Nash Equilibria ⋮ Multi-Valued Reasoning about Reactive Systems ⋮ Latticed-LTL synthesis in the presence of noisy inputs ⋮ On equilibria in quantitative games with reachability/safety objectives ⋮ Inherent Vacuity in Lattice Automata ⋮ Unnamed Item ⋮ Synthesizing robust systems ⋮ On Omega-Languages Defined by Mean-Payoff Conditions ⋮ Minimizing Deterministic Lattice Automata ⋮ Reactive synthesis with maximum realizability of linear temporal logic specifications

This page was built for publication: Ranking Automata and Games for Prioritized Requirements