Abstract is missing.
- More Paradigms of SAT Solvers: Circuit-SAT, FPGA-Based SAT, LLM-Based SATShaowei Cai 0001. 3-32 [doi]
- Simulation Testing of Autonomous Driving Systems Based on Safety-Critical Scenario GenerationGuangdong You, Shuncheng Tang, Jixiang Zhou, Jingjing Hao, Yiding Hua, Yanxin Nie, Yinxing Xue. 33-58 [doi]
- Formal Verification of Neural Network-Controlled Systems via Proof CertificatesDapeng Zhi, Peixin Wang, Min Zhang 0002. 59-85 [doi]
- Foundations of Hardware-Software Leakage ContractsJan Reineke 0001. 89-112 [doi]
- Engineering Safe Robotics Software from Simulation Models via RoboSimPedro Ribeiro 0002, Dalay Almeida, Paulo E. R. Bezerra, Ana Cavalcanti 0001, Thierry Lecomte, Marcel VinÃcius Medeiros Oliveira. 113-158 [doi]
- Model Checking, Performance Analysis, Synthesis and Learning for Cyber Physical SystemsKim G. Larsen, Marius Mikucionis. 159-210 [doi]
- Building Safe Autonomous Systems Using Imperfect ComponentsShengjie Xu, Prateek Ganguli, Tingan Zhu, Arkaprava Gupta, Bineet Ghosh, Kurt M. Wilson, Abdullah Al Arafat, John W. Baugh Jr., Zhishan Guo, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty. 213-286 [doi]