Skip to content
Log in
_
Items
Organisations
Groups
Search Items
Home
Items
Submit
Order by
Relevance
Name Ascending
Name Descending
Rating Ascending
Rating Descending
Last Modified
Popular
Go
1 item found
Tags:
linear temporal logic
Filter Results
Access required...
×
Method
Private
ltlf2asp
Linear Temporal Logic over Finite Traces (LTLf) is a popular logic to reason about finite sequences of events. In LTLf, the (bounded) satisfiability problem refers to whether...