English
Related papers

Related papers: Solving Constrained Stochastic Shortest Path Probl…

200 papers

We study a risk-constrained version of the stochastic shortest path (SSP) problem, where the risk measure considered is Conditional Value-at-Risk (CVaR). We propose two algorithms that obtain a locally risk-optimal policy by employing four…

Machine Learning · Statistics 2018-10-23 Prashanth L. A.

In this invited contribution, we revisit the stochastic shortest path problem, and show how recent results allow one to improve over the classical solutions: we present algorithms to synthesize strategies with multiple guarantees on the…

Logic in Computer Science · Computer Science 2014-11-05 Mickael Randour , Jean-François Raskin , Ocan Sankur

The Stochastic Shortest Path (SSP) problem models probabilistic sequential-decision problems where an agent must pursue a goal while minimizing a cost function. Because of the probabilistic dynamics, it is desired to have a cost function…

Artificial Intelligence · Computer Science 2023-03-02 Willy Arthur Silva Reis , Denis Benevolo Pais , Valdinei Freire , Karina Valdivia Delgado

Stochastic shortest path (SSP) problems arise in a variety of discrete stochastic control contexts. An optimal solutions to such a problem is typically computed using the value function, which can be found by solving the corresponding…

Optimization and Control · Mathematics 2008-02-29 Alexander Vladimirsky

We study the stochastic shortest path (SSP) problem in reinforcement learning with linear function approximation, where the transition kernel is represented as a linear mixture of unknown models. We call this class of SSP problems as linear…

Machine Learning · Computer Science 2022-07-06 Yifei Min , Jiafan He , Tianhao Wang , Quanquan Gu

Formulating the intended behavior of a dynamic system can be challenging. Signal temporal logic (STL) is frequently used for this purpose due to its suitability in formalizing comprehensible, modular, and versatile spatiotemporal…

Systems and Control · Electrical Eng. & Systems 2025-03-04 Patrick Halder , Hannes Homburger , Lothar Kiltz , Johannes Reuter , Matthias Althoff

We present the Goal Uncertain Stochastic Shortest Path (GUSSP) problem -- a general framework to model path planning and decision making in stochastic environments with goal uncertainty. The framework extends the stochastic shortest path…

Artificial Intelligence · Computer Science 2020-04-07 Sandhya Saisubramanian , Kyle Hollins Wray , Luis Pineda , Shlomo Zilberstein

It has been found that stochastic algorithms often find good solutions much more rapidly than inherently-batch approaches. Indeed, a very useful rule of thumb is that often, when solving a machine learning problem, an iterative technique…

Machine Learning · Computer Science 2013-08-19 Andrew Cotter

Combinatorial bilevel congestion pricing (CBCP), a variant of the mixed (continuous/discrete) network design problems, seeks to minimize the total travel time experienced by all travelers in a road network, by strategically selecting toll…

Optimization and Control · Mathematics 2025-04-24 Lei Guo , Jiayang Li , Yu Marco Nie , Jun Xie

A number of problems in relational Artificial Intelligence can be viewed as Stochastic Constraint Optimization Problems (SCOPs). These are constraint optimization problems that involve objectives or constraints with a stochastic component.…

Artificial Intelligence · Computer Science 2018-07-04 Anna L. D. Latour , Behrouz Babaki , Siegfried Nijssen

Heuristic search is a powerful approach that has successfully been applied to a broad class of planning problems, including classical planning, multi-objective planning, and probabilistic planning modelled as a stochastic shortest path…

Artificial Intelligence · Computer Science 2024-10-29 Dillon Chen , Felipe Trevizan , Sylvie Thiébaux

The problem of constrained reinforcement learning (CRL) holds significant importance as it provides a framework for addressing critical safety satisfaction concerns in the field of reinforcement learning (RL). However, with the introduction…

Machine Learning · Computer Science 2023-05-24 Chengbin Xuan , Feng Zhang , Faliang Yin , Hak-Keung Lam

We propose a new splitting and successively solving augmented Lagrangian (SSAL) method for solving an optimization problem with both semicontinuous variables and a cardinality constraint. This optimization problem arises in several contexts…

Optimization and Control · Mathematics 2015-06-16 Yanqin Bai , Renli Liang , Zhouwang Yang

The classic problem of constrained pathfinding is a well-studied, yet challenging, topic in AI with a broad range of applications in various areas such as communication and transportation. The Weight Constrained Shortest Path Problem…

Artificial Intelligence · Computer Science 2024-03-07 Saman Ahmadi , Guido Tack , Daniel Harabor , Philip Kilby , Mahdi Jalili

We study reinforcement learning in stochastic path (SP) problems. The goal in these problems is to maximize the expected sum of rewards until the agent reaches a terminal state. We provide the first regret guarantees in this general problem…

Machine Learning · Computer Science 2022-10-18 Christoph Dann , Chen-Yu Wei , Julian Zimmert

In this work, we focus on the Partial Constraint Satisfaction Problem (PCSP) over control-flow graphs (CFGs) of programs. PCSP serves as a generalization of the well-known Constraint Satisfaction Problem (CSP). In the CSP framework, we…

Computation and Language · Computer Science 2026-02-04 Xuran Cai , Amir Goharshady

When dealing with real-world optimization problems, decision-makers usually face high levels of uncertainty associated with partial information, unknown parameters, or complex relationships between these and the problem decision variables.…

Optimization and Control · Mathematics 2023-05-01 Antonio Alcántara , Carlos Ruiz

Backtracking search algorithms are often used to solve the Constraint Satisfaction Problem (CSP). The efficiency of backtracking search depends greatly on the variable ordering heuristics. Currently, the most commonly used heuristics are…

Artificial Intelligence · Computer Science 2021-12-28 Wen Song , Zhiguang Cao , Jie Zhang , Andrew Lim

The present work extends the randomized shortest-paths framework (RSP), interpolating between shortest-path and random-walk routing in a network, in three directions. First, it shows how to deal with equality constraints on a subset of…

Machine Learning · Computer Science 2018-07-13 Bertrand Lebichot , Guillaume Guex , Ilkka Kivimäki , Marco Saerens

Constrained pathfinding is a well-studied, yet challenging network optimisation problem that can be seen in a broad range of real-world applications. Pathfinding with multiple resource limits, which is known as the Resource Constrained…

Artificial Intelligence · Computer Science 2025-10-03 Saman Ahmadi , Andrea Raith , Mahdi Jalili