Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Steffen Märcker
Probabilistic Model Checking and Non-Standard Multi-Objective Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Multi-Objective Model Checking of Markov Decision Processes
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Counterexamples in Probabilistic Model Checking
Advances and Challenges of Probabilistic Model Checking
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Probabilistic Reasoning and Multiple-Expert Methodology for Correlated Objective Data
Artificial Intelligence in Engineering
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
Model Checking Ontology‐driven Reasoning Agents Using Strategy and Abstraction
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
Probabilistic Reasoning
