search result

Cover von Engineering Trustworthy Software Systems
7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 16481
Media group: MONOGRAPHIE
Cover von Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time

Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time

Year: 2012
Media group: ARTICLE
Cover von Model Checking Omega-regular Properties for Quantum Markov Chains

Model Checking Omega-regular Properties for Quantum Markov Chains

Year: 2017
Media group: LIPIcs
Cover von Lazy Probabilistic Model Checking without Determinisation

Lazy Probabilistic Model Checking without Determinisation

Year: 2015
Media group: LIPIcs
OPEN V 11.1.0.0