2 papers
cs.LO2026
Logic of Fuzzy Paths
Kush Grover, Pratham Gupta, Jan KÅetÃnský
We introduce a new family of temporal logics intended for specifications in motion planning (MP). It builds upon the signal temporal logic (STL), which is a linear-time logic over…
cs.CR2025
CTF Archive: Capture, Curate, Learn Forever
Pratham Gupta, Aditya Gabani, Connor Nelson +1
Capture the Flag (CTF) competitions represent a powerful experiential learning approach within cybersecurity education, blending diverse concepts into interactive challenges. Howev…