Formal Languages
Passive Learning of Symbolic Automata over Monotonic Algebras
✓Formal Verification Content type: AcademicCorrect-by-Construction Design of Timed Systems in Event-B
✓Formal Verification Content type: AcademicDynamics in a Low-Rank Separable Field Cellular Automaton
🃏Imperfect Information Games Content type: AcademicDon't Pause: Streaming Video-Language Synchrony for Online Video Understanding
💬LLMs Content type: AcademicNo more posts from sworddish's subscribed feeds.