2 citations · 5 across the 5 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
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.GT2026
Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
Kush Grover, Markel Zubia, Debraj Chakraborty +3
We study the problem of resilient strategies in the presence of uncertainty. Resilient strategies enable an agent to make decisions that are robust against disturbances. In particu…