Imagen de Portada

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Xu, Ming, Mei, Jingyi, Guan, Ji, Deng, Yuxin, Yu, Nengkun
Formato:	Preprint
Publicado:	2022
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Model Checking Quantum Continuous-Time Markov Chains
por: Xu, Ming, et al.
Publicado: (2021)

Model Checking Matrix Product States against Linear Chain Logic
por: Xu, Ming, et al.
Publicado: (2026)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
por: Spork, Timm, et al.
Publicado: (2025)

On the Metric Temporal Logic for Continuous Stochastic Processes
por: Ikeda, Mitsumasa, et al.
Publicado: (2023)

Model Checking Markov Chains as Distribution Transformers
por: Aghamov, Rajab, et al.
Publicado: (2024)

Algorithmic Randomness in Continuous-Time Markov Chains
por: Huang, Xiang, et al.
Publicado: (2019)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
por: Yu, Nengkun, et al.
Publicado: (2025)

Cut-free Deductive System for Continuous Intuitionistic Logic
por: Geoffroy, Guillaume
Publicado: (2025)

Formalizing CHSH Rigidity in Lean 4
por: Zhao, Tianrun, et al.
Publicado: (2026)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
por: Kojima, Ryota, et al.
Publicado: (2025)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
por: Sulc, Antonin
Publicado: (2026)

Constructive Quantum Logics
por: Aguilera, Juan P., et al.
Publicado: (2025)

Checking Satisfiability of Hyperproperties using First-Order Logic
por: Beutner, Raven, et al.
Publicado: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
por: Aghamov, Rajab, et al.
Publicado: (2025)

Decidability of Quantum Modal Logic
por: Tokuo, Kenji
Publicado: (2026)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
por: Tulcan, Radu-Florin, et al.
Publicado: (2026)

Algorithms for Markov Binomial Chains
por: Gonzalez, Alejandro Alarcón, et al.
Publicado: (2024)

Zeta Functions and the (Linear) Logic of Markov Processes
por: Seiller, Thomas
Publicado: (2020)

Model Checking Logical Actions in Magic Tricks
por: Zhu, Weijun
Publicado: (2024)

Encodability Criteria for Quantum Based Systems
por: Schmitt, Anna, et al.
Publicado: (2022)

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
por: de Medeiros, Markus, et al.
Publicado: (2026)

Checking the HAL Interface Specification Continuously, Right from the Start
por: Bentele, Manuel, et al.
Publicado: (2025)

Towards Counting Markov Equivalence Classes with Logical Constraints
por: Bizzaro, Davide, et al.
Publicado: (2024)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
por: Mertens, Hannah, et al.
Publicado: (2024)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
por: Schirrmacher, Nicole, et al.
Publicado: (2023)

Simulating Quantum Circuits by Model Counting
por: Mei, Jingyi, et al.
Publicado: (2024)

Skolem and Positivity Completeness of Ergodic Markov Chains
por: Vahanwala, Mihir
Publicado: (2023)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
por: Lyon, Tim S.
Publicado: (2026)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
por: Dai, Aochu, et al.
Publicado: (2025)

The Church Synthesis Problem over Continuous Time
por: Rabinovich, Alexander, et al.
Publicado: (2024)

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics
por: Ho, Hsi-Ming, et al.
Publicado: (2024)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
por: Melani, Beatrice, et al.
Publicado: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
por: Wang, Yiheng, et al.
Publicado: (2024)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
por: Češka, Milan, et al.
Publicado: (2026)

Agent-Knowledge Logic for Alternative Epistemic Logic
por: Nishimura, Yuki
Publicado: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
por: Grilletti, Gianluca, et al.
Publicado: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
por: Lyon, Tim S.
Publicado: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
por: Marin, Sonia, et al.
Publicado: (2025)

Skolemization In Intermediate Logics
por: Baaz, Matthias, et al.
Publicado: (2025)

A Logic of Inability
por: Wang, Shanxia
Publicado: (2026)