Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution
From MaRDI portal
Publication:2334595
Recommendations
- Dynamic controllability made simple
- Faster dynamic controllability checking for simple temporal networks with uncertainty
- Efficient execution of dynamically controllable simple temporal networks with uncertainty
- Sound-and-complete algorithms for checking the dynamic controllability of conditional simple temporal networks with uncertainty
- Handling contingency in temporal constraint networks: from consistency to controllabilities
Cites work
Cited in
(22)- Quantifying controllability in temporal networks with uncertainty
- Handling contingency in temporal constraint networks: from consistency to controllabilities
- A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form
- Determining temporal agreements in cross-organizational business processes
- Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way
- Dynamic controllability made simple
- Dynamic controllability of temporal plans in uncertain and partially observable environments
- Dynamic controllability via timed game automata
- Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification
- Dynamic controllability of temporal networks with instantaneous reaction
- Time-dependent simple temporal networks: properties and algorithms
- Faster dynamic controllability checking for simple temporal networks with uncertainty
- Realizability problem for constraint LTL
- On expected value strong controllability
- Probabilistic temporal networks with ordinary distributions: theory, robustness and expected utility
- Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games
- Sound-and-complete algorithms for checking the dynamic controllability of conditional simple temporal networks with uncertainty
- Efficient execution of dynamically controllable simple temporal networks with uncertainty
- Extending conditional simple temporal networks with partially shrinkable uncertainty
- Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions
- Adding flexibility to uncertainty: flexible simple temporal networks with uncertainty (FTNU)
- Flexibility and decoupling in simple temporal networks
This page was built for publication: Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2334595)