Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Synthesis of controllable nash equilibria in games with quantitative objectives

Autor: Almagor, S, Kupferman, O, Perelli, G

In Rational Synthesis, we consider a multi-agent system in which some of the agents are controllable and some are not. All agents have objectives, and the goal is to synthesize strategies for the controllable agents so that their objectives are satis

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::db0467fb796c53f7c3625f854de64f2a
https://doi.org/10.24963/ijcai.2018/5

The Polytope-Collision Problem

Autor: Almagor, S., Ouaknine, J., Worrell, J.

Publikováno v: 44th International Colloquium on Automata, Languages, and Programming (ICALP)
44th International Colloquium on Automata, Languages, and Programming
Leibniz International Proceedings in Informatics

The Orbit Problem consists of determining, given a matrix $A\in \mathbb{R}^{d\times d}$ and vectors $x,y\in \mathbb{R}^d$, whether there exists $n\in \mathbb{N}$ such that $A^n=y$. This problem was shown to be decidable in a seminal work of Kannan an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e4015e71cca81f9a8c5c0968dc0b4901
http://arxiv.org/abs/1611.01344

This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction

Autor: Lahijanian, M., Almagor, S., Fried, D., Lydia Kavraki, Vardi, M. Y.

Publikováno v: Scopus-Elsevier

The specification of complex motion goals through temporal logics is increasingly favored in robotics to narrow the gap between task and motion planning. A major limiting factor of such logics, however, is their Boolean satisfaction condition. To rel

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8077503a3b842618bdf63aa51ee6096c
https://doi.org/10.1609/aaai.v29i1.9670

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.