Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk).

DOI10.4230/LIPICS.TIME.2021.1OpenAlexW3204463591MaRDI QIDQ6080260

Roberto Posenato, Luke Hunsberger

Publication date: 2 October 2023

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2021/14777/pdf/LIPIcs-TIME-2021-1.pdf/

zbMATH Keywords

consistency checkingsimple temporal networksdispatchabilityrestoring consistencytemporal decoupling problem

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk).