AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Daniel Ricketts

Daniel Ricketts

University of California San Diego - San Diego / United States
Others
AD Scientific Index ID: 5940065
person_outline Daniel Ricketts's MOST POPULAR ARTICLES
1-) TLA +  Proofs International Symposium on Formal Methods, 147-154, 2012
2-) Maximizing profit using recommender systems arXiv preprint arXiv:0908.3633, 2009
3-) Towards verification of hybrid systems in a foundational proof assistant 2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015
4-) Safety verification using barrier certificates with application to double integrator with input saturation and zero-order hold 2018 Annual American Control Conference (ACC), 4664-4669, 2018
5-) Automating formal proofs for reactive systems Programming Language Design and Implementation (PLDI) 2014 49 (6), 452-462, 2014