5 citations · 8 across the 12 of their papers we have counts for
1 paper · 2 filters
Gustavo A. Cardona, Kevin Leahy, Makai Mann +1
Temporal logic is an important tool for specifying complex behaviors of systems. It can be used to define properties for verification and monitoring, as well as goals for synthesis…