Skip navigation links

Package ptolemy.vergil.basic.imprt.g4ltl

Import an FSMActor using LTL synthesis (G4LTL).

See: Description

Package ptolemy.vergil.basic.imprt.g4ltl Description

Import an FSMActor using LTL synthesis (G4LTL).

"G4LTL is a standalone tool and a Java library for automatically generating controllers realizing linear temporal logic (LTL).

See http://www6.in.tum.de/~chengch/g4ltl/

Since:
Ptolemy II 8.1
Skip navigation links