Weighted Strategy Logic with Boolean Goals Over One-Counter Games.

DOI10.4230/LIPIcs.FSTTCS.2015.69zbMath1366.68166OpenAlexW2279163573MaRDI QIDQ5278311

Patrick Gardy, Nicolas Markey, Patricia Bouyer

Publication date: 13 July 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2015.69

zbMATH Keywords

multi-player gamestemporal logicsquantitative gamesstrategy logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) (n)-person games, (n>2) (91A06) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (5)

Dependences in Strategy Logic ⋮ Taming strategy logic: non-recurrent fragments ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ Dependences in strategy logic ⋮ Quantifying Bounds in Strategy Logic

This page was built for publication: Weighted Strategy Logic with Boolean Goals Over One-Counter Games.