libFAUDES is a C++ library that implements data structures for the representation of finite automata and algorithms for supervisory control within the framework originally proposed by P.J. Ramadge and ...
Abstract: Artificial intelligence (AI) on an edge device has enormous potential, including advanced signal filtering, event detection, optimization in communications and data compression, improving ...
OSTRICH is an automata-based SMT solver for string constraints. The theory behind OSTRICH is explained in the slides of our POPL'24 tutorial. -portfolio=strings Use a portfolio of different string ...
The assembly of molecular automata that perform increasingly complex tasks, such as game playing, presents an unbiased test of molecular computation. We now report a second-generation ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results