spot
0.8.2
|
Go to the source code of this file.
Classes | |
class | spot::tgba |
A Transition-based Generalized Büchi Automaton.The acronym TGBA (Transition-based Generalized Büchi Automaton) was coined by Dimitra Giannakopoulou and Flavio Lerda in "From States to Transitions: Improving Translation of LTL
Formulae to Büchi Automata". (FORTE'02) More... | |
Namespaces | |
namespace | spot |