Login / Signup

A fast transition of linear temporal logic formulae to transition-based Büchi automata.

Lai-Xiang ShanZheng Qin
Published in: Int. J. Comput. Appl. Technol. (2016)
Keyphrases
  • linear temporal logic
  • temporal logic
  • learning algorithm
  • multi agent systems
  • model checking
  • search strategies
  • deterministic automata