Julian Alfredo Mendez

Composable Verification Pipelines for Multi-Agent Systems

Julian Alfredo Mendez, Andreas Brännström

Existing approaches for reasoning about action and change provide expressive semantics for modeling dynamic systems, in most cases built on top of logic programming systems. We introduce a modular framework for transition and trajectory verification based on Tiles and implemented…Read more