Compiling FLres on Finite Words

von Liu, Wanwei
Veröffentlicht in SETTA (6. : 2020 : Online) Dependable software engineering (2020)

PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation

von Fan, Yuxin
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)

Human-Cyber-Physical Automata and Their Synthesis

von Zhang, Miaomiao
Veröffentlicht in ICTAC (19. : 2022 : Tiflis) Theoretical aspects of computing - ICTAC 2022 (2022)

ON SUFFICIENT AND NECESSARY CONDITIONS IN BOUNDED CTL: A FORGETTING APPROACH

von Feng, Renyan
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

Safety Verification for Neural Networks Based on Set-Boundary Analysis

von Liang, Zhen
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (17. : 2023 : Bristol) Theoretical aspects of software engineering (2023)