Conditional Simple Temporal Networks with Uncertainty and Resources
From MaRDI portal
Publication:5376632
DOI10.1613/jair.1.11453zbMath1489.68250OpenAlexW2935711680WikidataQ127986146 ScholiaQ127986146MaRDI QIDQ5376632
Luca Viganò, Matteo Zavatteri, Roberto Posenato, Carlo Combi
Publication date: 17 May 2019
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1613/jair.1.11453
Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (6)
Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way ⋮ Early detection of temporal constraint violations ⋮ Dynamic controllability of temporal networks with instantaneous reaction ⋮ Probabilistic Temporal Networks with Ordinary Distributions: Theory, Robustness and Expected Utility ⋮ Mining Significant Temporal Networks Is Polynomial ⋮ Mining CSTNUDs significant for a set of traces is polynomial
This page was built for publication: Conditional Simple Temporal Networks with Uncertainty and Resources