Borzoo Bonakdarpour

Latest

• Rewriting-Based Runtime Verification for Alternation-Free HyperLTL