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
6 links
Ayrat Khalimov
Researcher
PaperSpecification Format for Reactive Synthesis ProblemsAuthorship / preprint / 2016PaperA Generic Solution to Register-bounded Synthesis with an Application to Discrete OrdersAuthorship / preprint / 2022PaperParameterized Model Checking of Token-Passing SystemsAuthorship / preprint / 2013PaperTight Cutoffs for Guarded Protocols with FairnessAuthorship / preprint / 2015PaperParameterized Synthesis Case Study: AMBA AHB (extended version)Authorship / preprint / 2015PaperThe 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & ResultsAuthorship / preprint / 2016