Validating Autonomous Behaviors against Partially Specified Ambiguous Requirements.

Edward Schwalb, Andreas Richter, Daniel Rohne

Browse the full SMC paper archive.