GenAutomata Sections NuprlLIB Doc

Def wp(A;a;Q) == smts_eff_pred(action_effect(a;A.eff;A.frame);Q)

is mentioned

In prior sections: mb automata 4


GenAutomata Sections NuprlLIB Doc