A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2022.103666
@@ Property / DOI: 10.1016/j.artint.2022.103666 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Storm
@@ Property / describes a project that uses: Storm / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Petruchio
@@ Property / describes a project that uses: Petruchio / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MCMAS
@@ Property / describes a project that uses: MCMAS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / 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.1016/j.artint.2022.103666
+Normal rank
@@ Property / OpenAlex ID @@
+W4207049699
@@ Property / OpenAlex ID: W4207049699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490845
@@ Property / cites work: Q4490845 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of structural stationarity in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4794460
@@ Property / cites work: Q4794460 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Parameterized Verification
@@ Property / cites work: Decidability of Parameterized Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Model Checking of Token-Passing Systems
+Normal rank
@@ Property / cites work @@
+Parameterised verification for multi-agent systems
+Normal rank
@@ Property / cites work @@
+The Probabilistic Model Checking Landscape
@@ Property / cites work: The Probabilistic Model Checking Landscape / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Verification of Concurrent Stochastic Games
+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 @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking and abstraction to the aid of parameterized systems (a survey)
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Demystifying Reachability in Vector Addition Systems
+Normal rank
@@ Property / cites work @@
+Parameterized model checking of networks of timed automata with Boolean guards
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2004
@@ Property / cites work: Applications and Theory of Petri Nets 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535172
@@ Property / cites work: Q4535172 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Timed-Arc Petri Nets
@@ Property / cites work: Verification of Timed-Arc Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Computation in networks of passively mobile finite-state sensors
+Normal rank
@@ Property / cites work @@
+Stably computable predicates are semilinear
@@ Property / cites work: Stably computable predicates are semilinear / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of population protocols
@@ Property / cites work: Verification of population protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking
@@ Property / cites work: Stochastic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Team Formation Protocols with Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Symmetry Reduction for Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Three-valued abstraction for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Variable Probabilistic Abstraction Refinement
@@ Property / cites work: Variable Probabilistic Abstraction Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+On Abstraction of Probabilistic Systems
@@ Property / cites work: On Abstraction of Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols
+Normal rank
@@ Property / cites work @@
+Q2963938
@@ Property / cites work: Q2963938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528211
@@ Property / cites work: Q5528211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2022.103666
@@ Property / DOI: 10.1016/J.ARTINT.2022.103666 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2124442