API

ggsolver Documentation:

• Graph
• Models
  • Automaton
  • TSys
  • Game
  • Solver
  • DeterministicStrategy
  • NonDeterministicStrategy
• Automata
  • DFA: Deterministic Finite Automaton
  • Monitor: Deterministic Safety Automaton
  • DBA: Deterministic Buchi Automaton
  • DCBA: Deterministic co-Buchi Automaton
  • DPA: Deterministic Parity Automaton
• (dtptb) Deterministic Two-Player Turn-based Games
  • SWinReach
  • SWinSafe
  • ASWinReach
  • ASWinSafe
• (mdp) One-Player Stochastic Games (MDP Games)
  • ASWinReach
  • PWinReach
• Logic
  • Automaton
  • SpotAutomaton
  • PL
  • ScLTL
  • LTL