A streamlined model of conditional simple temporal networks -- semantics and equivalence results

From MaRDI portal

Revision as of 14:29, 28 November 2024 by Import241128011130 (talk | contribs) (Created automatically from import241128011130)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6486431

Jump to:navigation, search

DOI10.4230/lipics.time.2017.10MaRDI QIDQ6486431

Luke Hunsberger, Romeo Rizzi, Massimo Cairo, Roberto Posenato

Publication date: 3 February 2023

Published in: 1515.68288 (Search for Journal in Brave)

zbMATH Keywords

temporal constraints dynamic consistency conditional simple temporal networks

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (4)

Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way ⋮ Dynamic controllability of temporal networks with instantaneous reaction ⋮ Mining Significant Temporal Networks Is Polynomial ⋮ Mining CSTNUDs significant for a set of traces is polynomial

This page was built for publication: A streamlined model of conditional simple temporal networks -- semantics and equivalence results

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6486431&oldid=37938116"