Martin Suda

Resolution-based Methods for Linear Temporal Reasoning