Cited By
View all- Damm WFränzle MKerscher ALaine FBengler KBiebl BHagemann WHeld MHess DIhme KKacianka SLehnhoff SLuedtke APretschner ARakow ARieger JSonntag DSztipanovits JSchwammberger MSchweda MTrende AUnni AVeith E(2024)A Reference Architecture of Human Cyber-Physical Systems – Part III: Semantic FoundationsACM Transactions on Cyber-Physical Systems10.1145/36228818:1(1-23)Online publication date: 14-Jan-2024
- Xue BZhan NFränzle MWang JLiu W(2024)Reach-Avoid Verification Based on Convex OptimizationIEEE Transactions on Automatic Control10.1109/TAC.2023.327482169:1(598-605)Online publication date: Jan-2024
- Blohm PFränzle MHerber PKröger PRemke A(2024)Towards Probabilistic Contracts for Intelligent Cyber-Physical SystemsLeveraging Applications of Formal Methods, Verification and Validation. Specification and Verification10.1007/978-3-031-75380-0_3(26-47)Online publication date: 27-Oct-2024
- Show More Cited By