Synthesis for multi-weighted games with branching-time winning conditions

DOI10.1007/978-3-030-51831-8_3MaRDI QIDQ5100749zbMATH OpenOpenAlexFDO

Authors Isabella Kaufmann, Kim G. Larsen, Jiří Srba

Publication date 1 September 2022

Published in Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-51831-8_3

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model checking and synthesis for branching multi-weighted logics
• Synthesis from LTL specifications with mean-payoff objectives
• Better Quality in Synthesis through Quantitative Objectives

Cites work

• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1759436 (Why is no real title available?)
• scientific article; zbMATH DE number 1759605 (Why is no real title available?)
• scientific article; zbMATH DE number 1444727 (Why is no real title available?)
• Alternation-free weighted mu-calculus: decidability and completeness
• Average-energy games
• Better Quality in Synthesis through Quantitative Objectives
• Efficient timed model checking for discrete-time systems
• Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
• Fixed-dimensional energy games are in pseudo-polynomial time
• Formally reasoning about quality
• Generalized mean-payoff and energy games
• Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
• Model Checking Probabilistic Timed Automata with One or Two Clocks
• Model checking and synthesis for branching multi-weighted logics
• Simple linear-time algorithms for minimal fixed points
• Succinct representations of graphs
• Synthesizing robust systems
• Temporal specifications with accumulative values

Cited in

(1)

• Model checking and synthesis for branching multi-weighted logics

This page was built for publication: Synthesis for multi-weighted games with branching-time winning conditions

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