689 followers
RT @AandVNetwork: Session 7 at #SEFM22 focussing on Temporal Logic. First up is "BehaVerify: Verifying Temporal Logic Specifications for B…
RT @AandVNetwork: Session 7 at #SEFM22 focussing on Temporal Logic. First up is "BehaVerify: Verifying Temporal Logic Specifications for B…
RT @AandVNetwork: Session 7 at #SEFM22 focussing on Temporal Logic. First up is "BehaVerify: Verifying Temporal Logic Specifications for B…
Session 7 at #SEFM22 focussing on Temporal Logic. First up is "BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees" By Bernard Serbinowski & @taylorjohnson URL: https://t.co/A7U1aa1FBi Tool: https://t.co/WJvFhuYxWp @sefm_conf @ver