6 citations · 8 across the 3 of their papers we have counts for
3 papers
SEA-PARAM: Exploring Schedulers in Parametric MDPs
Sebastian Arming, Ezio Bartocci, Ana Sokolova
We study parametric Markov decision processes (PMDPs) and their reachability probabilities "independent" of the parameters. Different to existing work on parameter synthesis (imple…
Deep Neural Programs for Adaptive Control in Cyber-Physical Systems
Konstantin Selyunin, Denise Ratasich, Ezio Bartocci +1
We introduce Deep Neural Programs (DNP), a novel programming paradigm for writing adaptive controllers for cy-ber-physical systems (CPS). DNP replace if and while statements, whose…
Shape Calculus: Timed Operational Semantics and Well-formedness
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini +2
The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a…