Leaderboards/Formal Methods in Verification

Formal Methods in Verification

Last updated July 7, 2026

Rising Stars

New and hot

Rising Stars Researchers

1
Arghavan Moradi Dakhel
Polytechnique Montréal
2
Eashan Hatti
Yale University
3
Rodrigo Toro Icarte
University of Toronto
4
Yicheng Ni
KU Leuven
5
Yusuke Fujiwara
Kyoto University
6
Xusheng Luo
Alibaba Group (China)
7
Jason J. Choi
University of California, Berkeley
8
Thom Badings
University of Oxford
9
Anthony Corso
American Institute of Aeronautics and Astronautics
10
Ali Tevfik Büyükkoçak
University of Minnesota

Rising Stars Papers

1
Effective test generation using pre-trained Large Language Models and mutation testing
Information and Software Technology|2024
97 cit.
2
Decomposition-Based Hierarchical Task Allocation and Planning for Multi-Robots Under Hierarchical Temporal Logic Specifications
IEEE Robotics and Automation Letters|2024
13 cit.
3
Sequential control barrier functions for mobile robots with dynamic temporal logic specifications
Robotics and Autonomous Systems|2024
11 cit.
4
Sequentially optimized data acquisition for a geothermal reservoir
Geothermics|2024
5 cit.
5
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
Unknown Journal|2024
3 cit.
6
Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods
ACM Transactions on Cyber-Physical Systems|2025
2 cit.
7
Resilient Online Planning for Mobile Robots With Minimal Relaxation of Signal Temporal Logic Specifications
IEEE Robotics and Automation Letters|2025
2 cit.
8
Constraint-Guided Online Data Selection for Scalable Data-Driven Safety Filters in Uncertain Robotic Systems
IEEE Transactions on Robotics|2025
2 cit.
9
Simultaneous Task Allocation and Planning for Multirobots Under Hierarchical Temporal Logic Specifications
IEEE Transactions on Robotics|2025
2 cit.
10
Uncertainty Assessment of Geothermal Well Injectivity
Unknown Journal|2025
0 cit.

Emerging Leaders

Gaining momentum

Emerging Leaders Researchers

1
Vahid Majdinasab
Polytechnique Montréal
2
Javier Alonso–Mora
Massachusetts Institute of Technology
3
Jakob Witzig
Systems, Applications & Products in Data Processing (Germany)
4
Parasara Sridhar Duggirala
University of Illinois Urbana-Champaign
5
Christoph Matheja
RWTH Aachen University
6
Đorđe Žikelić
University of Cambridge
7
Théo Winterhalter
Centre Inria de Saclay
8
Samuel Coogan
Georgia Institute of Technology
9
Sadegh Soudjani
Max Planck Institute for Software Systems
10
Sylvia Herbert
University of San Diego

Emerging Leaders Papers

1
Group-Based Distributed Auction Algorithms for Multi-Robot Task Assignment
IEEE Transactions on Automation Science and Engineering|2022
144 cit.
2
Enabling Research through the SCIP Optimization Suite 8.0
ACM Transactions on Mathematical Software|2023
63 cit.
3
Decentralized probabilistic multi-robot collision avoidance using buffered uncertainty-aware Voronoi cells
Autonomous Robots|2022
59 cit.
4
Distributed Nonlinear Trajectory Optimization for Multi-Robot Motion Planning
IEEE Transactions on Control Systems Technology|2022
53 cit.
5
Where to Look Next: Learning Viewpoint Recommendations for Informative Trajectory Planning
2022 International Conference on Robotics and Automation (ICRA)|2022
33 cit.
6
Economies and diseconomies of scale in on-demand ridepooling systems
Economics of Transportation|2023
33 cit.
7
Learning Interaction-Aware Guidance for Trajectory Optimization in Dense Traffic Scenarios
IEEE Transactions on Intelligent Transportation Systems|2022
30 cit.
8
Refining Control Barrier Functions through Hamilton-Jacobi Reachability
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)|2022
28 cit.
9
Biased-MPPI: Informing Sampling-Based Model Predictive Control by Fusing Ancillary Controllers
IEEE Robotics and Automation Letters|2024
25 cit.
10
Assessing the Security of GitHub Copilot's Generated Code - A Targeted Replication Study
Unknown Journal|2024
25 cit.

Current Senior Leaders

Established & currently active

Current Senior Leaders Researchers

1
Alberto Sangiovanni‐Vincentelli
University of California, Berkeley
2
George J. Pappas
University of Pennsylvania
3
Moshe Y. Vardi
Rice University
4
Richard M. Murray
California Institute of Technology
5
Sharad Malik
Princeton University
6
Thomas A. Henzinger
Institute of Science and Technology Austria
7
Joseph Sifakis
Institut polytechnique de Grenoble
8
Matthias Felleisen
Rice University
9
Sergio Yovine
Verimag
10
Shankar Sastry
Berkeley College

Current Senior Leaders Papers

1
Consensus Problems in Networks of Agents With Switching Topology and Time-Delays
IEEE Transactions on Automatic Control|2004
12.7k cit.
2
Consensus and Cooperation in Networked Multi-Agent Systems
Proceedings of the IEEE|2007
10.3k cit.
3
Information Flow and Cooperative Control of Vehicle Formations
IEEE Transactions on Automatic Control|2004
4.6k cit.
4
Chaff
Unknown Journal|2001
2.9k cit.
5
<i>Adaptive Control: Stability, Convergence, and Robustness</i>
The Journal of the Acoustical Society of America|1990
2.2k cit.
6
Feedback systems: an introduction for scientists and engineers
Choice Reviews Online|2008
2k cit.
7
The algorithmic analysis of hybrid systems
Theoretical Computer Science|1995
1.9k cit.
8
The theory of hybrid automata
Unknown Journal|2002
1.9k cit.
9
Tracking control of non-linear systems using sliding surfaces, with application to robot manipulators†
International Journal of Control|1983
1.8k cit.
10
Nonholonomic motion planning: steering using sinusoids
IEEE Transactions on Automatic Control|1993
1.8k cit.

Reagents for Formal Methods in Verification

Citation-validated products used in this field

🔥 Trending

Gaining adoption fast

Cell Signaling TechnologyEvidence 67

Catenin delta-1 (D7S2M) Rabbit Monoclonal Antibody

Cited in 11 papers
#59854$177,413
View Evidence →

⭐ Top Rated

Best all-around

Cell Signaling TechnologyEvidence 65

SARS-CoV-2 Spike Protein (RBD) Matched Antibody Pair

#92221$1,726
View Evidence →

🌟 All-Time

Most validated

Cell Signaling TechnologyEvidence 67

Catenin delta-1 (D7S2M) Rabbit Monoclonal Antibody

Cited in 11 papers
#59854$177,413
View Evidence →
SignalwayEvidence 67

ERK 1/2 Polyclonal Antibody

#40903
View Evidence →
Cell Signaling TechnologyEvidence 62

Phospho-SMAD2 (Ser465/Ser467) (E8F3R) Rabbit Monoclonal Antibody (InTraSeq™ 3' Conjugate 3061)

#34360$452
View Evidence →