Wieland Schwinger
Papers
2
Total Citations
15
H-Index
2
About
Wieland Schwinger is a researcher whose work lies at the intersection of autonomous systems, formal verification, and dynamic spatial reasoning. His key research areas include logic-based modeling for hybrid systems, component-based verification, and the development of tools for ensuring the safety and reliability of autonomous agents operating in complex, dynamic environments. Schwinger's major contributions include advancing qualitative and hybrid reasoning approaches for dynamic spatial systems, which are critical for applications ranging from consumer robotics to transportation and manufacturing. His most-cited paper, "Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems" (2015, 11 citations), provides foundational insights into modeling autonomous agents that must interact with changing spatial contexts. Additionally, his work on "A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X" (2019, 4 citations) demonstrates his commitment to bridging theory and practice, offering a practical tool for verifying hybrid systems. Schwinger's research is notable for its focus on scalable, component-based methods, making formal verification more accessible for real-world autonomous systems. His contributions are particularly impactful for students and researchers interested in the intersection of logic, robotics, and safety-critical systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2