Citation Impact
Citing Papers
Symbolic Reachability Computation for Families of Linear Vector Fields
2001
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
2007 Standout
Discrete abstractions of hybrid systems
2000
An epistemic operator for description logics
1998
Pellet: A practical OWL-DL reasoner
2007 Standout
Online Verification of Automated Road Vehicles Using Reachability Analysis
2014 Standout
Works of Dirk van Dalen being referenced
Logic and Structure
1994
Logic and Structure
1980