Publications
Preprint · arXiv · July 10, 2017
Deciding Probabilistic Program Equivalence in NetKAT.
Steffen Juilf Smolka, David Kahn, Praveen Kumar, Nate Foster, Dexter C. Kozen, Alexandra Silva
Logic, programming, and type systemsFormal Methods in Verificationsemigroups and automata theoryprogram equivalence checkingdecision proceduresprobabilistic programming languages
More by Praveen Kumar
- Model for Long-Term Monitoring of Geological Processes in Kazakhstan Using Intelligent Drone PortsJournal of Computational and Cognitive Engineering · 2026
- Wearable Gyroscope-Based Motion Tracking and Hand Gesture Recognition Using ANOVA for Feature DiscriminationJournal of Innovative Image Processing · 2026 · Citations: 3
- FINE-TUNING SMALL LANGUAGE MODELS FOR MENTAL HEALTH TEXT CLASSIFICATION: A PARAMETER-EFFICIENT APPROACH OUTPERFORMING ZERO-SHOT LARGE LANGUAGE MODELSScientific Journal of Astana IT University · 2026
- Vision-aided online A$$^*$$ path planning for efficient and safe navigation of service robotsInternational Journal of Intelligent Robotics and Applications · 2026 · Citations: 2