Verification of Liveness and Safety Properties of Behavioral Programs Using BPjS

von Bar-Sinai, Michael
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)

Can the Operator of a Drone Be Located by Following the Drone's Path?

von Mashhadi, Elivahu
Veröffentlicht in CSCML (4. : 2020 : Online) Cyber security cryptography and machine learning (2020)

DepthStAr: Deep Strange Arguments Detection

von Berlin, Michael
Veröffentlicht in CSCML (5. : 2021 : Beer Sheva) Cyber Security Cryptography and Machine Learning (2021)

Cyber security cryptography and machine learning : fourth international symposium, CSCML 2020, Be'er Sheva, Israel, July 2-3, 2020 : proceedings

Veröffentlicht 2020

Adapting Behaviors via Reactive Synthesis

von Amram, Gal
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)