search result

Cover von Dicey Games

Dicey Games

Shared Sources of Randomness in Distributed Systems
Year: 2026
Media group: LIPIcs
Cover von Flavors of Quantifiers in Hyperlogics

Flavors of Quantifiers in Hyperlogics

Year: 2025
Media group: LIPIcs
Cover von Resolving Nondeterminism with Randomness

Resolving Nondeterminism with Randomness

Year: 2025
Media group: LIPIcs
Cover von Finding Equilibria

Finding Equilibria

Simpler for Pessimists, Simplest for Optimists
Year: 2025
Media group: LIPIcs
Cover von Strategic Dominance

Strategic Dominance

A New Preorder for Nondeterministic Processes
Year: 2024
Media group: LIPIcs
Cover von History-Determinism vs Fair Simulation

History-Determinism vs Fair Simulation

Year: 2024
Media group: LIPIcs
Cover von Bidding Games with Charging

Bidding Games with Charging

Year: 2024
Media group: LIPIcs
Cover von Safety and Liveness of Quantitative Automata

Safety and Liveness of Quantitative Automata

Year: 2023
Media group: LIPIcs
Cover von Regular Methods for Operator Precedence Languages

Regular Methods for Operator Precedence Languages

Year: 2023
Media group: LIPIcs
Cover von Hybrid systems III
verification and control
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1066
Media group: MONOGRAPHIE
OPEN V 11.1.0.0