Conditional simple temporal networks with uncertainty and decisions
From MaRDI portal
Publication:2334599
Recommendations
- Conditional simple temporal networks with uncertainty and decisions
- Conditional Simple Temporal Networks with Uncertainty and Resources
- Incorporating decision nodes into conditional simple temporal networks
- Sound-and-complete algorithms for checking the dynamic controllability of conditional simple temporal networks with uncertainty
- Dynamic controllability made simple
Cites work
- scientific article; zbMATH DE number 3664335 (Why is no real title available?)
- A theory of timed automata
- CTP: A new constraint-based formalism for conditional, temporal planning
- Conditional simple temporal networks with uncertainty and decisions
- Drake: an efficient executive for temporal plans with choice
- Dynamic controllability via timed game automata
- Incorporating decision nodes into conditional simple temporal networks
- Model-checking in dense real-time
- On the synthesis of discrete controllers for timed systems
- Temporal constraint networks
Cited in
(14)- Conditional simple temporal networks with uncertainty and decisions
- A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form
- Determining temporal agreements in cross-organizational business processes
- Mining CSTNUDs significant for a set of traces is polynomial
- Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way
- Dynamic controllability of temporal plans in uncertain and partially observable environments
- Dynamic controllability of temporal networks with instantaneous reaction
- Conditional Simple Temporal Networks with Uncertainty and Resources
- Mining Significant Temporal Networks Is Polynomial
- An interdisciplinary experimental evaluation on the disjunctive temporal problem
- Extending conditional simple temporal networks with partially shrinkable uncertainty
- A streamlined model of conditional simple temporal networks -- semantics and equivalence results
- Incorporating decision nodes into conditional simple temporal networks
- Adding flexibility to uncertainty: flexible simple temporal networks with uncertainty (FTNU)
This page was built for publication: Conditional simple temporal networks with uncertainty and decisions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2334599)
