Khushraj Madnani

Exploring the impact of monus semantics on vector addition systems with states.

This article presents a method to simplify quantifier elimination in Presburger arithmetic.

A look at how temporal logic shapes technology in our daily lives.