Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Tingting Han

Counterexamples in Probabilistic Model Checking

English

Related publications

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Shortest Counterexamples for Symbolic Model Checking of LTL With Past

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering
Software
2016English

Advances and Challenges of Probabilistic Model Checking

2010English

Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking

English

Validation of Service Level Agreements Using Probabilistic Model Checking

2017English

Probabilistic Model Checking and Non-Standard Multi-Objective Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

From Probabilistic Counterexamples via Causality to Fault Trees

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Extrapolation of an Optimal Policy Using Statistical Probabilistic Model Checking

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy