LTLf2DFA. Fuggitti, F. March 2019.
LTLf2DFA [link]Code  LTLf2DFA [link]Website  doi  bibtex   
@software{fuggitti-ltlf2dfa,
  author       = {Francesco Fuggitti},
  title        = {LTLf2DFA},
  month        = {March},
  year         = {2019},
  publisher    = {Zenodo},
  version      = {1.0.0.post0},
  doi          = {10.5281/zenodo.3888410},
  url_code    = {https://github.com/whitemech/LTLf2DFA},
  url_website = {http://ltlf2dfa.diag.uniroma1.it/},
}

Downloads: 0