VLDB 2026 Research / reviewers in the wild / expert
Blake C. Rawlings
dblp:154/4636
· DBLP profile ↗
2ranked-venue papers
0as first author
1since 2021 · last 2025
0000-0002-2668-3693ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1Theory of computation · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | SMT Formulations of Sufficient Conditions for Forward Invariance in Continuous Dynamical SystemsabstractA series of sufficient conditions for proving forward invariance in continuous dynamical systems are presented. The conditions are based on Nagumo's Theorem, and their applicability, computability, and robustness are demonstrated through a series of examples. Michael R. Livesay, Blake C. Rawlings |
HSCC | 2 |
| 2018 | Synthesis of Obfuscation Policies to Ensure Privacy and Utility
Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia |
J. Autom. Reason. | 3 |