19 citations · 53 across the 13 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.SE2022
Syntheto: A Surface Language for APT and ACL2
Alessandro Coglio, Eric McCarthy, Stephen Westfold +3
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit. Syntheto aims at providing more fa…
cs.RO2022
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
Shreyas Ramakrishna, Baiting Luo, Yogesh Barve +2
Autonomous Cyber-Physical Systems must often operate under uncertainties like sensor degradation and shifts in the operating conditions, which increases its operational risk. Dynam…