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

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+POMDP
@@ Property / describes a project that uses: POMDP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11241-017-9269-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2594789366
@@ Property / OpenAlex ID: W2594789366 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q59614665
@@ Property / Wikidata QID: Q59614665 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1699230