Add to ORKGAbstract. In this paper, we review some recent results on the efficient synthesis of controllers for timed systems. We first recall the basics of controller synthesis for timed games and then present an efficient on-the-fly algorithm for reachability games and its extension to partially observable timed games. The material of this paper is based on two recent articles [13,14] that in-troduced truly on-the-fly algorithms for the synthesis of controllers for timed games. These results were obtained together with Alexandre David, Emmanue
Abstract. In this paper, we propose a first efficient on-the-fly algorithm for solving games based o...
Abstract. In this paper we consider the problem of controller synthesis for timed games under imperf...
Abstract. In this paper we consider the problem of controller synthesis for timed games under imperf...
Invited PaperInternational audienceIn this paper, we review some recent results on the efficient syn...
International audienceIn this paper, we review some recent results on the efficient synthesis of con...
Abstract. We revisit the synthesis of timed controllers with partial observability. Bouyer et al. sh...
International audienceIn this paper we focus on property-preserving preorders between timed game aut...
Abstract: Timed game automata are used for solving control problems on real-time systems. A timed re...
This report deals with non-deterministic timed strategies, also called timed multi-strategies, for t...
In this paper, we propose the first efficient on-the-fly algorithm for solving games based on timed ...
Weighted timed games are zero-sum games played by two players on a timedautomaton equipped with weig...
In this paper we focus on property-preserving preorders between timed game automata and their applic...
Solving games played on timed automata is a well-known problem and has led to tools and industrial c...
In a reachability-time game, players Min and Max choose moves so that the time to reach a final stat...
International audienceWe consider parametric reachability control problems for real-time systems. We...
Abstract. In this paper, we propose a first efficient on-the-fly algorithm for solving games based o...
Abstract. In this paper we consider the problem of controller synthesis for timed games under imperf...
Abstract. In this paper we consider the problem of controller synthesis for timed games under imperf...
Invited PaperInternational audienceIn this paper, we review some recent results on the efficient syn...
International audienceIn this paper, we review some recent results on the efficient synthesis of con...
Abstract. We revisit the synthesis of timed controllers with partial observability. Bouyer et al. sh...
International audienceIn this paper we focus on property-preserving preorders between timed game aut...
Abstract: Timed game automata are used for solving control problems on real-time systems. A timed re...
This report deals with non-deterministic timed strategies, also called timed multi-strategies, for t...
In this paper, we propose the first efficient on-the-fly algorithm for solving games based on timed ...
Weighted timed games are zero-sum games played by two players on a timedautomaton equipped with weig...
In this paper we focus on property-preserving preorders between timed game automata and their applic...
Solving games played on timed automata is a well-known problem and has led to tools and industrial c...
In a reachability-time game, players Min and Max choose moves so that the time to reach a final stat...
International audienceWe consider parametric reachability control problems for real-time systems. We...
Abstract. In this paper, we propose a first efficient on-the-fly algorithm for solving games based o...
Abstract. In this paper we consider the problem of controller synthesis for timed games under imperf...
Abstract. In this paper we consider the problem of controller synthesis for timed games under imperf...