Explore projects
-
CPrAA - A Checker for Probabilistic Abstract Argumentation
Updated -
Additional material for the TAILOR 2020 paper "Towards Deep Statistical Model Checking"
Updated -
Updated
-
CPrAA - A Checker for Probabilistic Abstract Argumentation
Additional material for the TAILOR 2020 paper "Towards Deep Statistical Model Checking"