51 citations · 53 across the 5 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Alignment Monitoring
Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh +1
Formal verification provides assurances that a probabilistic system satisfies its specification--conditioned on the system model being aligned with reality. We propose alignment mo…
cs.AI2025★ 1 cited
HySafe-AI: Hybrid Safety Architectural Analysis Framework for AI Systems: A Case Study
Mandar Pitale, Jelena Frtunikj, Abhinaw Priyadershi +2
AI has become integral to safety-critical areas like autonomous driving systems (ADS) and robotics. The architecture of recent autonomous systems are trending toward end-to-end (E2…