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