Collaborative models for autonomous systems controller synthesis (Q2198131): Difference between revisions

@@ Property / describes a project that uses @@
+UPPAAL TIGA
@@ Property / describes a project that uses: UPPAAL TIGA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM-games
@@ Property / describes a project that uses: PRISM-games / 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/s00165-020-00508-1
+Normal rank
@@ Property / OpenAlex ID @@
+W3008303418
@@ Property / OpenAlex ID: W3008303418 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847845
@@ Property / cites work: Q2847845 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818818
@@ Property / cites work: Q4818818 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-Observation Stochastic Games
@@ Property / cites work: Partial-Observation Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Permissive Controller Synthesis for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
+Normal rank
@@ Property / cites work @@
+Multi-Objective Model Checking of Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Quantitative Multi-objective Verification for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of logic controllers for continuous plants using timed condition/event-system models
+Normal rank
@@ Property / cites work @@
+A game-based abstraction-refinement framework for Markov decision processes
+Normal rank
@@ Property / cites work @@
+Automated Verification and Strategy Synthesis for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Finite-Horizon Bisimulation Minimisation for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4118602
@@ Property / cites work: Q4118602 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Verification and Synthesis for Discrete-Time Stochastic Systems
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Verification and control of partially observable probabilistic systems
+Normal rank
@@ Property / cites work @@
+Temporal logic motion planning using POMDPs with parity objectives
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
+Normal rank
@@ Property / cites work @@
+Controller Synthesis for Reward Collecting Markov Processes in Continuous Space
+Normal rank