conftrace_

shield synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

safety specification (1) safety-critical system (1) reactive synthesis (1) linear temporal logic (1) temporal logic (1) discrete mathematics (1) formal verification (1)

Papers

Shield Synthesis for LTL Modulo Theories AAAI 2025