search

KTH-SML / ltl_automaton_core

7 stars 4 forks source link

All states are trap #4

Closed RBinsonB closed 3 years ago

RBinsonB commented 3 years ago

In a simple scenario with only 2D regions, all states are considered trap when testing the HIL

RBinsonB commented 3 years ago

Problem was caused my missing self-loops in TS. Solve in Nexus package by adding connection to own node.