A Framework for Following Temporal Logic Instructions with Unknown Causal Dependencies.

Duo Xu Faramarz Fekri

Published in: CoRR (2022)

Keyphrases

temporal logic
model checking
satisfiability problem
transition systems
computation tree logic
software development
software architecture
modal logic
temporal knowledge
verification method