Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification.
- Published in:
- Acta Informatica, 2016, v. 53, n. 6-8, p. 723, doi. 10.1007/s00236-015-0248-8
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2016 AND VI 53 AND IP 6-8
Results: 7
1
2
Checking interval properties of computations.
- Published in:
- Acta Informatica, 2016, v. 53, n. 6-8, p. 587, doi. 10.1007/s00236-015-0250-1
- By:
- Publication type:
- Article
3
Metric propositional neighborhood logic with an equivalence relation.
- Published in:
- Acta Informatica, 2016, v. 53, n. 6-8, p. 621, doi. 10.1007/s00236-016-0256-3
- By:
- Publication type:
- Article
4
Dynamic controllability via Timed Game Automata.
- Published in:
- Acta Informatica, 2016, v. 53, n. 6-8, p. 681, doi. 10.1007/s00236-016-0257-2
- By:
- Publication type:
- Article
5
Planning and execution with flexible timelines: a formal account.
- Published in:
- Acta Informatica, 2016, v. 53, n. 6-8, p. 649, doi. 10.1007/s00236-015-0252-z
- By:
- Publication type:
- Article
6
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014).
- Published in:
- 2016
- By:
- Publication type:
- Editorial
7
Mining approximate interval-based temporal dependencies.
- Published in:
- Acta Informatica, 2016, v. 53, n. 6-8, p. 547, doi. 10.1007/s00236-015-0246-x
- By:
- Publication type:
- Article