3 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.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…
cs.LO2024
Tools at the Frontiers of Quantitative Verification
Roman Andriushchenko, Alexander Bork, Carlos E. Budde +20
The analysis of formal models that include quantitative aspects such as timing or probabilistic choices is performed by quantitative verification tools. Broad and mature tool suppo…