3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 1 cited
Synchronous Programming with Refinement Types
Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele +6
Cyber-Physical Systems (CPS) consist of software interacting with the physical world, such as robots, vehicles, and industrial processes. CPS are frequently responsible for the saf…
cs.RO2023★ 3 cited
Falsification of a Vision-based Automatic Landing System
Sara Shoouri, Shayan Jalili, Jiahong Xu +5
At smaller airports without an instrument approach or advanced equipment, automatic landing of aircraft is a safety-critical task that requires the use of sensors present on the ai…