Roderick Bloem

AAAI Conference on Artificial Intelligence · 2006–2018

A researcher in the Science corpus: 3 papers; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Roderick Bloem trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Amir Pnueli
2. Marcin Jurdzinski

Who trusts Roderick Bloem overall

1. Lars Lindemann
2. Tichakorn Wongpiromsarn
3. Dimos V. Dimarogonas
4. Ufuk Topcu

Papers from Roderick Bloem's perspective

Ordered by how strongly the researchers Roderick Bloem trusts endorse each paper. Same corpus, a different order for every researcher.

1. Reinforcement Learning: An Introduction
2. The Arcade Learning Environment: An Evaluation Platform for General Agents
3. Human-level control through deep reinforcement learning
4. On the synthesis of a reactive module
5. Small Progress Measures for Solving Parity Games (Symposium on Theoretical Aspects of Computer Science)
6. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)
7. Bounded synthesis (International Journal on Software Tools for Technology Transfer (STTT))
8. Safe Exploration in Markov Decision Processes
9. Teachable robots: Understanding human teaching behavior to build more effective robot learners
10. Reinforcement Learning with Human Teachers: Evidence of Feedback and Guidance with Implications for Learning Performance

Their papers

• Safe Reinforcement Learning via Shielding (2017) — 968 citations
• Synthesis of Reactive(1) designs (2006) — 882 citations
• Handbook of Model Checking (2018) — 568 citations