research
∙
04/23/2023
Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives
This paper studies temporal planning in probabilistic environments, mode...
share
research
∙
04/20/2023
Topological Guided Actor-Critic Modular Learning of Continuous Systems with Temporal Objectives
This work investigates the formal policy synthesis of continuous-state s...
research
∙
10/13/2022
Synthesis of Proactive Sensor Placement In Probabilistic Attack Graphs
This paper studies the deployment of joint moving target defense (MTD) a...
research
∙
07/30/2020