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
Alessandro Cimatti
Researcher
PaperReactive Synthesis from Extended Bounded Response LTL SpecificationsAuthorship / preprint / 2020PaperFormalization and Validation of Safety-Critical RequirementsAuthorship / preprint / 2012PaperIC3 Modulo Theories via Implicit Predicate AbstractionAuthorship / preprint / 2013PaperComputing Small Unsatisfiable Cores in Satisfiability Modulo TheoriesAuthorship / preprint / 2014PaperSoftware Model Checking with Explicit Scheduler and Symbolic ThreadsAuthorship / preprint / 2012PaperComputation of the Transient in Max-Plus Linear Systems via SMT-SolvingAuthorship / preprint / 2020PaperThe xSAP Safety Analysis PlatformAuthorship / preprint / 2015