Principles of Model Checking (Representation and Mind Series)

1,150 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Safe Reinforcement Learning via Shielding (2017, background): “The safety fragment of temporal logic that we consider is more general than the notion of safety of [8] (which is technically a so-called invariance property [1]).”