English
Related papers

Related papers: Sampling-based Reactive Synthesis for Nondetermini…

200 papers

Distributed Nash equilibrium seeking of aggregative games is investigated and a continuous-time algorithm is proposed. The algorithm is designed by virtue of projected gradient play dynamics and distributed average tracking dynamics, and is…

Optimization and Control · Mathematics 2021-12-07 Shu Liang , Peng Yi , Yiguang Hong , Kaixiang Peng

Recently, Dallal, Neider, and Tabuada studied a generalization of the classical game-theoretic model used in program synthesis, which additionally accounts for unmodeled intermittent disturbances. In this extended framework, one is…

Computer Science and Game Theory · Computer Science 2019-09-25 Daniel Neider , Alexander Weinert , Martin Zimmermann

An important challenge in non-cooperative game theory is coordinating on a single (approximate) equilibrium from many possibilities - a challenge that becomes even more complex when players hold private information. Recommender mechanisms…

Computer Science and Game Theory · Computer Science 2025-05-30 Bengisu Guresti , Chongjie Zhang , Yevgeniy Vorobeychik

This paper studies the robust optimal gain selection problem for financial trading systems, formulated within a \emph{double linear policy} framework, which allocates capital across long and short positions. The key objective is to…

Systems and Control · Electrical Eng. & Systems 2025-01-20 Chung-Han Hsieh

Careful rational synthesis was defined in (Condurache et al. 2021) as a quantitative extension of Fisman et al.'s rational synthesis (Fisman et al. 2010), as a model of multi-agent systems in which agents are interacting in a graph arena in…

Logic in Computer Science · Computer Science 2022-07-21 Rodica Condurache , Catalin Dima , Madalina Jitaru , Youssouf Oualhadj , Nicolas Troquard

This paper proposes a new view to algorithms, Algorithms as defining dynamic systems. This view extends the traditional, deterministic view that an algorithm is a step by step procedure with nondeterminism. As a dynamic system can be…

Data Structures and Algorithms · Computer Science 2009-11-03 Keehang Kwon , Hong Pyo Ha

Nonzero-sum stochastic differential games with impulse controls offer a realistic and far-reaching modelling framework for applications within finance, energy markets, and other areas, but the difficulty in solving such problems has…

Numerical Analysis · Mathematics 2020-06-29 Diego Zabaljauregui

Preferences play a key role in determining what goals/constraints to satisfy when not all constraints can be satisfied simultaneously. In this paper, we study how to synthesize preference satisfying plans in stochastic systems, modeled as…

Artificial Intelligence · Computer Science 2022-10-06 Abhishek N. Kulkarni , Jie Fu

We consider a game played between a hider, who hides a static object in one of several possible positions in a bounded planar region, and a searcher, who wishes to reach the object by querying sensors placed in the plane. The searcher is a…

Computer Science and Game Theory · Computer Science 2015-03-19 Alessandro Borri , Shaunak D. Bopardikar , Joao P. Hespanha , Maria D. Di Benedetto

We investigate nonlinear prediction in an online setting and introduce a hybrid model that effectively mitigates, via an end-to-end architecture, the need for hand-designed features and manual model selection issues of conventional…

Machine Learning · Statistics 2023-07-11 Mustafa E. Aydın , Suleyman S. Kozat

Game-theoretic solution concepts, such as the Nash equilibrium, have been key to finding stable joint actions in multi-player games. However, it has been shown that the dynamics of agents' interactions, even in simple two-player games with…

Multiagent Systems · Computer Science 2025-05-20 Natalia Koliou , George Vouros

We propose a tactical homotopy-aware decision-making framework for game-theoretic motion planning in urban environments. We model urban driving as a generalized Nash equilibrium problem and employ a mixed-integer approach to tame the…

Multiagent Systems · Computer Science 2024-06-21 Michael Khayyat , Alessandro Zanardi , Stefano Arrigoni , Francesco Braghin

The literature is rich with studies, analyses, and examples on parameter estimation for describing the evolution of chaotic dynamical systems based on measurements, even when only partial information is available through observations.…

Chaotic Dynamics · Physics 2025-08-07 Michele Baia , Tommaso Matteuzzi , Franco Bagnoli

Two-player (antagonistic) games on (possibly stochastic) graphs are a prevalent model in theoretical computer science, notably as a framework for reactive synthesis. Optimal strategies may require randomisation when dealing with inherently…

Computer Science and Game Theory · Computer Science 2024-11-25 James C. A. Main , Mickael Randour

This paper proposes a new equilibrium concept "robust perfect equilibrium" for non-cooperative games with a continuum of players, incorporating three types of perturbations. Such an equilibrium is shown to exist (in symmetric mixed…

Theoretical Economics · Economics 2021-05-06 Enxian Chen , Lei Qiao , Xiang Sun , Yeneng Sun

In this second part of our two-part paper, we invoke the stochastic maximum principle, conditional Hamiltonian and the coupled backward-forward stochastic differential equations of the first part [1] to derive team optimal decentralized…

Optimization and Control · Mathematics 2013-02-15 Charalambos D. Charalambous , Nasir U. Ahmed

We propose Composition Sampling, a simple but effective method to generate diverse outputs for conditional generation of higher quality compared to previous stochastic decoding strategies. It builds on recently proposed plan-based neural…

Computation and Language · Computer Science 2022-03-30 Shashi Narayan , Gonçalo Simões , Yao Zhao , Joshua Maynez , Dipanjan Das , Michael Collins , Mirella Lapata

Semiotic dynamics is a novel field that studies how semiotic conventions spread and stabilize in a population of agents. This is a central issue both for theoretical and technological reasons since large system made up of communicating…

Physics and Society · Physics 2011-07-27 Andrea Baronchelli , Luca Dall'Asta , Alain Barrat , Vittorio Loreto

We describe a task and motion planning architecture for highly dynamic systems that combines a domain-independent sampling-based deliberative planning algorithm with a global reactive planner. We leverage the recent development of a…

Recently, it has been shown how sampling actions from the predictive distribution over the optimal action-sometimes called Thompson sampling-can be applied to solve sequential adaptive control problems, when the optimal policy is known for…

Artificial Intelligence · Computer Science 2014-09-24 Pedro A. Ortega , Daniel A. Braun
‹ Prev 1 8 9 10 Next ›