Christel Baier
Papers
2
Total Citations
29
H-Index
2
About
No biography available yet.
Research Focus
Artificial intelligence2 · 29 citations
Computer science2 · 29 citations
Probabilistic logic2 · 29 citations
Controller (irrigation)1 · 27 citations
Decidability1 · 27 citations
Finite-state machine1 · 27 citations
Markov decision process1 · 27 citations
Markov process1 · 27 citations
Mathematics1 · 27 citations
Model checking1 · 27 citations
Nondeterministic algorithm1 · 27 citations
Probabilistic automaton1 · 27 citations
Key Achievements
2
H-Index
2
Papers
29
Total Citations
15
Avg Citations/Paper
🏆 Most Cited Paper
Model Checking Linear-Time Properties of Probabilistic Systems
27 citations · 2009
📈 Most Prolific Year: 2009 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: TU Dresden
Top Papers
- 1Model Checking Linear-Time Properties of Probabilistic Systems27 citations · 2009
- 2Preface to the special issue on Probabilistic Model Checking2 citations · 2013
Key Collaborators
Not generated yet