Roderick Bloem

Computer Science

1. Reactive System 100%
2. Reinforcement Learning 86%
3. Experimental Result 73%
4. Advanced Encryption Standard 73%
5. Formal Specification 63%
6. Temporal Logic 62%
7. side-channel 62%
8. Case Study 62%
9. Synthesis Tool 57%
10. Formal Verification 52%
11. Markov Decision Process 41%
12. Hardware Design 38%
13. Correctness 36%
14. Controller Synthesis 34%
15. Automaton 34%
16. Model Checking 34%
17. Synthesis Problem 34%
18. Mutual Information 34%
19. Power Analysis 34%
20. Computational Complexity 34%
21. Information Leakage 34%
22. Security Question 34%
23. Cyber Physical Systems 34%
24. Mealy Machine 34%
25. Safe Reinforcement Learning 34%
26. Side Channel Attack 33%
27. Attackers 27%
28. Learning Agent 26%
29. Synthesis Algorithm 26%
30. Learning Phase 26%
31. Software Implementation 26%
32. Software Verification 26%
33. Symbolic Execution 21%
34. Program Analysis 21%
35. Debugging Environment 21%
36. Optimal Strategy 21%
37. Timed Automaton 21%
38. Artificial Intelligence 21%
39. Execution Phase 21%
40. Classical Computer 20%
41. Large State Space 20%
42. Meta Information 17%
43. Common Practice 17%
44. Memory Requirement 17%
45. Multiple Design 17%
46. Perfect Information 17%
47. Local Variable 17%
48. Case Complexity 17%
49. Multi Agent System 17%
50. Theorem Prover 17%