search result

Cover von A Verified and Compositional Translation of LTL to Deterministic Rabin Automata

A Verified and Compositional Translation of LTL to Deterministic Rabin Automata

Year: 2019
Media group: LIPIcs
Cover von An Optimal Algorithm for Online Freeze-Tag

An Optimal Algorithm for Online Freeze-Tag

Year: 2020
Media group: LIPIcs
Cover von Complexity of Retrograde and Helpmate Chess Problems

Complexity of Retrograde and Helpmate Chess Problems

Even Cooperative Chess Is Hard
Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0