Avatar

bLogic.ink

Ink and Think!

  1. Home
  2. About
  3. Archives
  4. Search
    1. Dark Mode

Archives

2025 1

Categories

Application Theory

Tags

Code Competition Dynamic System Inductive Definitions Logic Programming Proofs Sequent Calculus Temporal Logic Verification
Featured image of post Simple vehicle controller
Application

Simple vehicle controller

Đorđe Marković, Bart Bogaerts

Oct 29, 2025
13 minute read
© 2025 bLogic.ink
Ink and Think!
Built with Hugo
Theme Stack designed by Jimmy