Login / Signup

MsATL: a Tool for SAT-Based ATL Satisfiability Checking.

Artur NiewiadomskiMagdalena KacprzakDamian KurpiewskiMichal KnapikWojciech PenczekWojciech Jamroga
Published in: CoRR (2023)
Keyphrases
  • model checking
  • bounded model checking
  • multi agent systems
  • data sets
  • neural network
  • genetic algorithm
  • software tools
  • user friendly
  • sat solvers