Combined model checking for temporal, probabilistic, and real-time logics (Q407511): Difference between revisions

@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501688
@@ Property / cites work: Q4501688 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738471
@@ Property / cites work: Q4738471 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+Bounded model checking for knowledge and real time
+Normal rank
@@ Property / cites work @@
+Q4451078
@@ Property / cites work: Q4451078 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying and reasoning about uncertain agents
@@ Property / cites work: Specifying and reasoning about uncertain agents / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461756
@@ Property / cites work: Q4461756 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining temporal logic systems
@@ Property / cites work: Combining temporal logic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of modal logics
@@ Property / cites work: Combinations of modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding a temporal dimension to a logic system
@@ Property / cites work: Adding a temporal dimension to a logic system / rank @@
+Normal rank
@@ Property / cites work @@
+Why combine logics?
@@ Property / cites work: Why combine logics? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215611
@@ Property / cites work: Q4215611 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and decidability of tense logics closely related to logics above K4
+Normal rank
@@ Property / cites work @@
+Q4430406
@@ Property / cites work: Q4430406 / rank @@
+Normal rank
@@ Property / cites work @@
+The product of converse PDL and polymodal K
@@ Property / cites work: The product of converse PDL and polymodal K / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Strict Divergence for Probabilistic Timed Automata
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank