Joint Learning of Reward Machines and Policies in Environments with
Partially Known SemanticsArtificial Intelligence (AIJ), 2022 |
Formal Test Synthesis for Safety-Critical Autonomous Systems based on
Control Barrier FunctionsIEEE Conference on Decision and Control (CDC), 2020 |