no code implementations • 17 Jun 2021 • Tony A. Wood, Mitchell Khoo, Elad Michael, Chris Manzie, Iman Shames
The task of a decoy reaching a state in which the lock of the assigned threat can be broken is formulated as a temporal logic specification.