Robuta

https://ashutoshtrivedi.com/papers/dblp-journals-aamas-velasquezabta24/ Controller synthesis for linear temporal logic and steady-state specifications | Ashutosh Trivedi Controller synthesis for linear temporal logic and steady-state specifications. Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K.... linear temporal logic steady state controller synthesis specifications https://irep.ntu.ac.uk/id/eprint/10458/ A framework for cryptographic protocol analysis using linear temporal logic - IRep - Nottingham... IRep - Nottingham Trent University's open access institutional research repository linear temporal logic cryptographic protocol framework analysis using https://lisa.unical.it/items/d6d74e74-e0d8-4ea7-bc50-4fb0985b861e/full APPLICATIONS OF ANSWER SET PROGRAMMING TO LINEAR TEMPORAL LOGIC OVER FINITE TRACES Linear Temporal Logic over Finite Traces (LTLf) is a popular logic to express high level specifications that require reasoning about time. It was introduced in... answer set programming linear temporal logic applications finite traces