Login / Signup

Winning Strategy Tree Construction for BDD-Based ATL Model Checkers.

Wonhong NamHaejin YangHyunyoung Kil
Published in: Int. J. Softw. Eng. Knowl. Eng. (2020)
Keyphrases
  • probabilistic model
  • management system
  • databases
  • machine learning
  • multi agent systems
  • temporal logic
  • formal model