C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Optimal Proofs for Linear Temporal Logic on Lasso Words.
David A. Basin
Bhargav Nagaraja Bhatt
Dmitriy Traytel
Published in:
ATVA (2018)
Keyphrases
</>
linear temporal logic
temporal logic
feature selection
linear regression
dynamic programming