Keyword:automata

Papers
Why These Automata Types? Udi Boker In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs Anupam Das, Amina Doumane and Damien Pous In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Genetic Algorithm for Truck Dispatching in Mining Wesley Cox, Tim French, Mark Reynolds and Lyndon While In:GCAI 2017. 3rd Global Conference on Artificial Intelligence