Model Checking Omega-regular Properties for Quantum Markov Chains (Q5111649): Difference between revisions

@@ label / en / label / en @@
+Model Checking Omega-regular Properties for Quantum Markov Chains
@@ Property / DOI @@
-.4230/LIPIcs.CONCUR.2017.35
@@ Property / DOI: 10.4230/LIPIcs.CONCUR.2017.35 / rank @@
-Normal rank
@@ Property / cites work @@
+Equivalence Checking of Quantum Protocols
@@ Property / cites work: Equivalence Checking of Quantum Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+THE STRUCTURES OF STATE SPACE CONCERNING QUANTUM DYNAMICAL SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+Quantum cryptography using any two nonorthogonal states
+Normal rank
@@ Property / cites work @@
+Quantum cryptography: public key distribution and coin tossing
+Normal rank
@@ Property / cites work @@
+Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative verification of implantable cardiac pacemakers over hybrid heart models
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking quantum Markov chains
@@ Property / cites work: Model checking quantum Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3560846
@@ Property / cites work: Q3560846 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Markov chains
@@ Property / cites work: Quantum Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
+Normal rank
@@ Property / cites work @@
+Q3753490
@@ Property / cites work: Q3753490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+Tighter Bounds for the Determinisation of Büchi Automata
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Checking Linear-Time Properties of Quantum Systems
+Normal rank
@@ Property / cites work @@
+Reachability Probabilities of Quantum Markov Chains
+Normal rank
@@ Property / full work available at URL @@
+https://opus.lib.uts.edu.au/bitstream/10453/127383/1/LIPIcs-CONCUR-2017-35.pdf
+Normal rank
@@ Property / OpenAlex ID @@
+W2758925351
@@ Property / OpenAlex ID: W2758925351 / rank @@
+Normal rank
@@ Property / title @@
+Model Checking Omega-regular Properties for Quantum Markov Chains (English)
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CONCUR.2017.35
@@ Property / DOI: 10.4230/LIPICS.CONCUR.2017.35 / rank @@
+Normal rank