Pos	Paper	Citations	Year
1	Safe reinforcement learning via shielding	1242	2018
2	Handbook of model checking	1071	2018
3	Synthesis of reactive (1) designs	591	2012