- An Experimental Evaluation of Probabilistic Jonathan Bogdoll, Holger Hermanns and Lijun Zhang
- Measurability and Safety Verification for Stochastic Hybrid Systems
- PARAM: A Model Checker for Parametric Markov Models
- Probabilistic Model Checking Modulo Theories Bjorn Wachter, Lijun Zhang, Holger Hermanns
- An Experimental Evaluation of Probabilistic Simulation #
- Best Probabilistic Transformers Bjorn Wachter 1 , Lijun Zhang 2,1
- TimeBounded Reachability in Distributed Input/Output Interactive Probabilistic Chains
- Logic and Model Checking for Hidden Markov Models #
- PASS: Abstraction Refinement for Infinite Probabilistic Models #
- Model Checking Interactive Markov Chains # Lijun Zhang 1 and Martin R. Neuhauer 2,3
- A SpaceE#cient Probabilistic Simulation Algorithm #
- Flow Faster: E#cient Decision Algorithms for Probabilistic Simulations #
- On Probabilistic Automata in Continuous Time Christian Eisentraut
- Deciding Simulations on Probabilistic Lijun Zhang and Holger Hermanns
- Safety Verification for Probabilistic Hybrid Systems Lijun Zhang 1 , Zhikun She 2 , Stefan Ratschan 3 ,
- Probabilistic CEGAR # Holger Hermanns, Bjorn Wachter, Lijun Zhang
- TimeBounded Model Checking of InfiniteState ContinuousTime Markov Chains #
- Concurrency and Composition in a Stochastic World Christian Eisentraut 1 , Holger Hermanns 1,2 , and Lijun Zhang 3
- TimeBounded Reachability Probabilities in ContinuousTime Markov Decision Processes
- PARAM: A Model Checker for Parametric Markov Models
- Deciding Simulations on Probabilistic Lijun Zhang and Holger Hermanns
- Probabilistic Logical Characterization Holger Hermannsa,b
- Model Checking Algorithms for CTMDPs Peter Buchholz1
- INFAMY: An Infinite-State Markov Model Checker
- Logic and Model Checking for Hidden Markov Models
- Automata-Based CSL Model Checking Lijun Zhang1
- From Concurrency Models to Numbers Performance and Dependability
- Synthesis for PCTL in Parametric Markov Decision Processes
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains
- On Probabilistic Automata in Continuous Time Christian Eisentraut
- Model Checking Interactive Markov Chains Lijun Zhang1
- Fundamenta Informaticae XXI (2001) 10011027 1001 Time-Bounded Model Checking of
- Probabilistic Reachability for Parametric Markov Models
- A Space-Efficient Probabilistic Simulation Lijun Zhang
- Probabilistic CEGAR Holger Hermanns, Bjorn Wachter, Lijun Zhang
- Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
- Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
- Safety Verification for Probabilistic Hybrid Systems Lijun Zhang1
- Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes
- FlowSim Simulation Benchmarking Platform Jonathan Bogdoll, Holger Hermanns, Lijun Zhang
- Concurrency and Composition in a Stochastic World Christian Eisentraut1
- Probabilistic Model Checking Modulo Theories Bjorn Wachter, Lijun Zhang, Holger Hermanns
- PASS: Abstraction Refinement for Infinite Probabilistic Models
- Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems Ernst Moritz Hahn
- A general framework for probabilistic characterizing Joshua Sack1
