GenAutomata Sections NuprlLIB Doc

Def R_strong_safety(E)(tr_1,tr_2) == sublist(|E|;tr_2;tr_1)

is mentioned

In prior sections: mb hybrid


GenAutomata Sections NuprlLIB Doc