https://roboticpatterns.com/tags/limited/ Recent content in limited on Specification Patterns for Robotic Missions Hugo -- gohugo.io en-us Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi Thu, 08 Feb 2018 17:51:49 +0100 https://roboticpatterns.com/pattern/pastavoidance/ Thu, 08 Feb 2018 17:51:49 +0100 https://roboticpatterns.com/pattern/pastavoidance/ Intent Requires a condition to not occur until another condition is satisfied LTL Template $(\neg (l_1)) \mathcal{U} p$, where $l_1 \in L$ and $p \in M$ Note that the pattern is general and consider the case in which a robot can be in two locations at the same time. For example, a robot can be in an area of a building indicated as l1 (e.g., area 01) and at the same time in a room of the area indicated as l2 (e.