Constraints¶

These tutorials focus on MASA constraint setup and LTL-safety monitoring.

• Constraints Tour compares the registered single-agent constraints on the same environment and action scripts.
• LTL-Safety groups the LTL-safety walkthroughs that build and inspect DFA-backed constraints.

Runnable notebooks:

• notebooks/tutorials/04_constraints_tour.ipynb
• notebooks/tutorials/05_ltl_safety_colour_bomb.ipynb