Shaull Almagor

A look into counter nets, their functions, and unresolved questions.

2025-10-15T14:21:00+00:00 ― 5 min read

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

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

Exploring the efficiency of jumping automata and their cost measures.

2025-08-09T17:59:30+00:00 ― 6 min read

Discover the unique blend of strategy and wealth dynamics in bidding games.

2025-01-30T23:24:27+00:00 ― 6 min read