Linear temporal logic
Modal temporal logic with modalities referring to time
📊 Rating
1 news mentions · 👍 0 likes · 👎 0 dislikes
📌 Topics
- Artificial Intelligence (1)
- Robotics (1)
- Formal Methods (1)
🏷️ Keywords
Reinforcement Learning (1) · Linear Temporal Logic (1) · Automata (1) · Task Embedding (1) · Multi-task Learning (1) · arXiv (1) · Artificial Intelligence (1)
📖 Key Information
In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths, e.g., a condition will eventually be true, a condition will be true until another fact becomes true, etc. It is a fragment of the more complex CTL*, which additionally allows branching time and quantifiers.
📰 Related News (1)
-
🇺🇸 Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
arXiv:2602.06746v1 Announce Type: new Abstract: We study multi-task reinforcement learning (RL), a setting in which an agent learns a single, univers...
🔗 Entity Intersection Graph
People and organizations frequently mentioned alongside Linear temporal logic:
- 🌐 Automaton (1 shared articles)
- 🌐 Reinforcement learning (1 shared articles)
- 🌐 Artificial intelligence (1 shared articles)