Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed

von Wang, Jiawan
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata

von Wu, Yuming
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)

Stability-Based Generalization Analysis for Mixtures of Pointwise and Pairwise Learning

von Wang, Jiahuan
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 8, part 2 of 2 (2023)