Model-checking large structured Markov chains. (Q1400291): 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 @@
+APNN-Toolbox
@@ Property / describes a project that uses: APNN-Toolbox / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57802004
@@ Property / Wikidata QID: Q57802004 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754196
@@ Property / cites work: Q2754196 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754096
@@ Property / cites work: Q2754096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270055
@@ Property / cites work: Q4270055 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q4002648
@@ Property / cites work: Q4002648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4952904
@@ Property / cites work: Q4952904 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured analysis approaches for large Markov chains
+Normal rank
@@ Property / cites work @@
+Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
+Normal rank
@@ Property / cites work @@
+Efficient computation and representation of large reachability sets for composed automata
+Normal rank
@@ Property / cites work @@
+Q4547772
@@ Property / cites work: Q4547772 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space
+Normal rank
@@ Property / cites work @@
+Integrating synchronization with priority into a Kronecker representation
+Normal rank
@@ Property / cites work @@
+Randomization Procedures in the Computation of Cumulative-Time Distributions over Discrete State Markov Processes
+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 @@
+Specification techniques for Markov reward models
@@ Property / cites work: Specification techniques for Markov reward models / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for performance evaluation
@@ Property / cites work: Process algebra for performance evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518904
@@ Property / cites work: Q4518904 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798030
@@ Property / cites work: Q4798030 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis based on structured representations
+Normal rank
@@ Property / cites work @@
+Q4472227
@@ Property / cites work: Q4472227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/jlp/BuchholzKKT03
@@ Property / DBLP publication ID: journals/jlp/BuchholzKKT03 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1400291