🔄 Finite State Machines - matmat · Scour

Correct-by-Construction Design of Timed Systems in Event-B

💻CS Academic

Learning Regular Languages with the TTT Algorithm

rahul.gopinath.org··Hacker News

Games Between Programs: The Ruliology of Competition

writings.stephenwolfram.com··Hacker News, Hacker News

Less-relevant results

Apple OS 27: The Small Things

🔤Unicode Normalization Blog

blog.oneberri.com··Hacker News

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

⚡SMT Applications Code

github.com··Hacker News

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

⚙Automata Theory Academic

Reinforcing Temporal Answer Grounding in Instructional Video via Candidate-Aware Causal Reasoning

🎯Retrieval Systems Academic

The Complexity of Asynchronous HyperLTL

🌐NetworkProtocols Academic

Don't Pause: Streaming Video-Language Synchrony for Online Video Understanding

💻CS Academic

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

🌐NetworkProtocols Academic

No more posts from matmat's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Log in to enable infinite scrolling