2 papers
cs.SC2026
Exact Evaluation of Probabilistic Programs with Cylindrical Algebraic Decomposition
Fredrik Dahlqvist, Mohamed Hamza Bandukara, Niki Omidvari
We present a method for computing the exact output distribution of small programs with random inputs. Specifically, we are interested in inline programs manipulating sensor data su…
cs.LO2025
A Logic For Fresh Labelled Transition Systems
Mohamed H Bandukara, Nikos Tzevelekos
We introduce a Hennessy-Milner logic with recursion for Fresh Labelled Transition Systems (FLTSs). These are nominal labelled transition systems which keep track of the history, i.…