Simple Science

Cutting edge science explained simply

Cutting edge science explained simply

Udi Boker

Formal Languages and Automata Theory Enhancing Model Checking with CTL+Sync and OCAs

Study focuses on using CTL+Sync with One-Counter Automata for model verification.

2025-10-11T05:32:36+00:00 ― 6 min read

Formal Languages and Automata Theory The Interplay of History-Determinism and Fair Simulation

Exploring how history-determinism and fair simulation relate in automata theory.

2025-07-15T05:05:00+00:00 ― 5 min read