Verification and control of partially observable probabilistic systems (Q1699230): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal paths in weighted timed automata
@@ Property / cites work: Optimal paths in weighted timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+On Decision Problems for Probabilistic Büchi Automata
+Normal rank
@@ Property / cites work @@
+Q4673428
@@ Property / cites work: Q4673428 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Performance analysis of probabilistic timed automata using digital clocks
+Normal rank
@@ Property / cites work @@
+Timed Control with Observation Based and Stuttering Invariant Strategies
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal cost almost-sure reachability in POMDPs
@@ Property / cites work: Optimal cost almost-sure reachability in POMDPs / rank @@
+Normal rank
@@ Property / cites work @@
+What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives.
+Normal rank
@@ Property / cites work @@
+Partial-Observation Stochastic Games
@@ Property / cites work: Partial-Observation Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+A course in triangulations for solving equations with deformations
+Normal rank
@@ Property / cites work @@
+Template-Based Controller Synthesis for Timed Systems
+Normal rank
@@ Property / cites work @@
+Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements
+Normal rank
@@ Property / cites work @@
+Wireless scheduling with partial channel state information: large deviations and optimality
+Normal rank
@@ Property / cites work @@
+What good are digital clocks?
@@ Property / cites work: What good are digital clocks? / rank @@
+Normal rank
@@ Property / cites work @@
+A State Action Frequency Approach to Throughput Maximization over Uncertain Wireless Channels
+Normal rank
@@ Property / cites work @@
+Q5528211
@@ Property / cites work: Q5528211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849849
@@ Property / cites work: Q2849849 / rank @@
+Normal rank
@@ Property / cites work @@
+On the undecidability of probabilistic planning and related stochastic optimization problems
+Normal rank
@@ Property / cites work @@
+Computationally Feasible Bounds for Partially Observed Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Verification and Control of Partially Observable Probabilistic Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Model checking for probabilistic timed automata
@@ Property / cites work: Model checking for probabilistic timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic motion planning using POMDPs with parity objectives
+Normal rank
@@ Property / cites work @@
+Checking timed Büchi automata emptiness efficiently
+Normal rank