Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Marco Faella
Researcher
PaperProceedings Third International Symposium on Games, Automata, Logics and Formal VerificationAuthorship / preprint / 2012PaperQuantitative Fairness GamesAuthorship / preprint / 2010PaperTowards Efficient Exact Synthesis for Linear Hybrid SystemsAuthorship / preprint / 2011PaperAutomatic Synthesis of Switching Controllers for Linear Hybrid AutomataAuthorship / preprint / 2011PaperDefeasible Inclusions in Low-Complexity DLsAuthorship / preprint / 2014PaperPartial Preferences for Mediated BargainingAuthorship / preprint / 2014PaperQualitative Logics and Equivalences for Probabilistic SystemsAuthorship / preprint / 2009