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

@@ Property / DOI @@
-.1016/j.tcs.2013.07.012
@@ Property / DOI: 10.1016/j.tcs.2013.07.012 / rank @@
-Normal rank
@@ Property / author @@
+H. S. Yoon
@@ Property / author: H. S. Yoon / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B62
@@ Property / Mathematics Subject Classification ID: 03B62 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T42
@@ Property / Mathematics Subject Classification ID: 68T42 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6338730
@@ Property / zbMATH DE Number: 6338730 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal verification
@@ Property / zbMATH Keywords: formal verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+combination of logics
@@ Property / zbMATH Keywords: combination of logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+complexity
@@ Property / zbMATH Keywords: complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+multi-agent systems
@@ Property / zbMATH Keywords: multi-agent systems / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MCK
@@ Property / describes a project that uses: MCK / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2013.07.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2060551079
@@ Property / OpenAlex ID: W2060551079 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q98283457
@@ Property / Wikidata QID: Q98283457 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.TCS.2013.07.012
@@ Property / DOI: 10.1016/J.TCS.2013.07.012 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:407511