Conference , Workshops Proceedings

Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach

Avellaneda, F. et Petrenko, A. "Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach" dans Proceedings of the 17th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2019). Oslo, Norvège, 16 to 20 September 2019

In: Ölveczky P., Salaün G. (eds) Software Engineering and Formal Methods. SEFM 2019. Lecture Notes in Computer Science, vol 11724. Springer, Cham
  • Le 4 mars, participez au Webinaire sur le DATALAB pour découvrir comment cette approche progressive peut vous aider… https://t.co/zJmrfNB84I
  • CANARIE RT @CANARIE_Inc: VESTA recueille les données des systèmes d'apprentissage en ligne quand les élèves lisent l'écran, sont distraits ou pense…