search result

Cover von 30th International Symposium on Temporal Representation and Reasoning
TIME 2023 : September 25 - 26, 2023, NCSR Demokritos, Athens, Greece
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 278
Media group: LIPIcs
Cover von Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty

Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty

Year: 2018
Media group: LIPIcs
Cover von A Streamlined Model of Conditional Simple Temporal Networks

A Streamlined Model of Conditional Simple Temporal Networks

Semantics and Equivalence Results
Year: 2017
Media group: LIPIcs
Cover von Incorporating Decision Nodes into Conditional Simple Temporal Networks

Incorporating Decision Nodes into Conditional Simple Temporal Networks

Author: Cairo, Massimo; Combi, Carlo
Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0