3 papers
cs.HC2024
STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)
Isabelle Hurley, Rohan Paleja, Ashley Suh +2
As learned control policies become increasingly common in autonomous systems, there is increasing need to ensure that they are interpretable and can be checked by human stakeholder…
cs.RO2024
Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots
Kevin Leahy, Ho Chit Siu
Conveying human goals to autonomous systems (AS) occurs both when the system is being designed and when it is being operated. The design-step conveyance is typically mediated by ro…
cs.AI2023
STL: Surprisingly Tricky Logic (for System Validation)
Ho Chit Siu, Kevin Leahy, Makai Mann
Much of the recent work developing formal methods techniques to specify or learn the behavior of autonomous systems is predicated on a belief that formal specifications are interpr…