Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
VECSR: Virtually Embodied Common Sense Reasoning System
Alexis R. Tudor, JoaquÃn Arias, Gopal Gupta
The development of autonomous agents has seen a revival of enthusiasm due to the emergence of LLMs, such as GPT-4o. Deploying these agents in environments where they coexist with h…
cs.LO2024
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
Anitha Murugesan, Isaac Wong, JoaquÃn Arias +6
Assurance cases offer a structured way to present arguments and evidence for certification of systems where safety and security are critical. However, creating and evaluating these…