activity
20182023
most citedPolicy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions

3 citations · 4 across the 7 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2022

Synthesis of Proactive Sensor Placement In Probabilistic Attack Graphs

Lening Li, Haoxiang Ma, Shuo Han +1

This paper studies the deployment of joint moving target defense (MTD) and deception against multi-stage cyberattacks. Given the system equipped with MTD that randomizes between di…