Don't Pour Cereal into Coffee: Differentiable Temporal Logic for Temporal Action Segmentation.
Ziwei XuYogesh S. RawatYongkang WongMohan S. KankanhalliMubarak ShahPublished in: NeurIPS (2022)
Keyphrases
- temporal logic
- temporal knowledge
- linear temporal logic
- model checking
- transition systems
- temporal resolution
- modal logic
- temporal properties
- concurrent systems
- image segmentation
- satisfiability problem
- temporal information
- mazurkiewicz traces
- verification method
- temporal reasoning
- belief revision
- temporally extended
- spatial and temporal
- automata theoretic
- formal specification
- reactive systems
- temporal constraints
- bounded model checking