AngeloFerrando
Angelo Ferrando is an Assistant Professor at the University of Modena and Reggio Emilia, Italy. Interested in: MAS, Formal Verification, Robotics
University of Modena and Reggio EmiliaModena
Pinned Repositories
AngeloFerrando's Repositories
AngeloFerrando/Solvent
AngeloFerrando/3-valuedSL
AngeloFerrando/3vLTL
AngeloFerrando/RVPlan
RVPlan: Runtime Verification of Assumptions in Automated Planning
AngeloFerrando/SafetyShieldsBDI
AngeloFerrando/angeloferrando.github.io
AngeloFerrando/area2020.github.io
Website for the AREA 2020 workshop.
AngeloFerrando/TExpRVJade
AngeloFerrando/website
AngeloFerrando/blockly.github.io
AngeloFerrando/Dockerfiles
AngeloFerrando/hierarchical_model_checking
AngeloFerrando/HyperPredictiveRuntimeVerification
AngeloFerrando/IncrementallyPredictiveRV
Tool which implements an Incrementally Predictive Monitor, where the predictions are obtained by a model of the system learnt through Process Mining
AngeloFerrando/JasonResponsibility
AngeloFerrando/MASareAmongUs
Final project for the master degree exam, academic year 2022/2023
AngeloFerrando/mcmas-multi-coalitions
AngeloFerrando/MultiModelPredictiveRuntimeVerification
Prototype of a Multi-Model Predictive Runtime Monitor in Python
AngeloFerrando/PartialMonitor
AngeloFerrando/prettyphoto
prettyPhoto is a jQuery based lightbox clone. Not only does it support images, it also add support for videos, flash, YouTube, iFrames. It’s a full blown media lightbox. The setup is easy and quick, plus the script is compatible in every major browser.
AngeloFerrando/PRVPrototype
AngeloFerrando/RationalMonitor
AngeloFerrando/RationalMonitors
AngeloFerrando/RuntimeVerificationWithImperfectInformation
AngeloFerrando/strategyCTLRV
AngeloFerrando/StrategyRV
AngeloFerrando/StrategyRVOld
AngeloFerrando/testCICD2
AngeloFerrando/VITAMIN
AngeloFerrando/VITAMIN-public