search result

Cover von Prophecies All the Way

Prophecies All the Way

Game-Based Model-Checking for HyperQPTL Beyond ∀*∃*
Year: 2025
Media group: LIPIcs
Cover von Time for Timed Monitorability

Time for Timed Monitorability

Year: 2025
Media group: LIPIcs
Cover von The Keys to Decidable HyperLTL Satisfiability

The Keys to Decidable HyperLTL Satisfiability

Small Models or Very Simple Formulas
Year: 2020
Media group: LIPIcs
Cover von Prompt Delay

Prompt Delay

Year: 2016
Media group: LIPIcs
Cover von Visibly Linear Dynamic Logic

Visibly Linear Dynamic Logic

Year: 2016
Media group: LIPIcs
Cover von Easy to Win, Hard to Master

Easy to Win, Hard to Master

Optimal Strategies in Parity Games with Costs
Year: 2016
Media group: LIPIcs
Cover von What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead
article : pp. 519-533
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 41
Media group: ARTICLE
Cover von What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead

What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead

Year: 2015
Media group: LIPIcs
Cover von Recommendation Systems in Software Engineering
Search for this author
Year: 2014
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von The light control case study

The light control case study

problem description : article
Author: Queins, Stefan; Zimmermann, Gerhard
Year: 2000
Media group: ARTICLE
OPEN V 11.1.0.0