Add to ORKGInternational audienceIn 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
International audienceIn this paper we consider the problem of controller synthesis for timed games ...
International audienceWe consider parametric reachability control problems for real-time systems. We...
International audiencePartial observability and controllability are two well-known issues in test-ca...
Invited PaperInternational audienceIn this paper, we review some recent results on the efficient syn...
Abstract. In this paper, we review some recent results on the efficient synthesis of controllers for...
International audienceIn this paper, we propose a first efficient on-the-fly algorithm for solving g...
This report deals with non-deterministic timed strategies, also called timed multi-strategies, for t...
International audienceTimed game automata are used for solving control problems on real-time systems...
Abstract. We revisit the synthesis of timed controllers with partial observability. Bouyer et al. sh...
Abstract. In this paper, we propose a first efficient on-the-fly algorithm for solving games based o...
International audienceIn this paper we consider the problem of controller synthesis for timed games ...
Abstract: Timed game automata are used for solving control problems on real-time systems. A timed re...
42 pagesSolving games played on timed automata is a well-known problem and has led to tools and indu...
In a reachability-time game, players Min and Max choose moves so that the time to reach a final stat...
version 1.1We propose a subclass of timed game automata (TGA), called Task TGA, representing network...
International audienceIn this paper we consider the problem of controller synthesis for timed games ...
International audienceWe consider parametric reachability control problems for real-time systems. We...
International audiencePartial observability and controllability are two well-known issues in test-ca...
Invited PaperInternational audienceIn this paper, we review some recent results on the efficient syn...
Abstract. In this paper, we review some recent results on the efficient synthesis of controllers for...
International audienceIn this paper, we propose a first efficient on-the-fly algorithm for solving g...
This report deals with non-deterministic timed strategies, also called timed multi-strategies, for t...
International audienceTimed game automata are used for solving control problems on real-time systems...
Abstract. We revisit the synthesis of timed controllers with partial observability. Bouyer et al. sh...
Abstract. In this paper, we propose a first efficient on-the-fly algorithm for solving games based o...
International audienceIn this paper we consider the problem of controller synthesis for timed games ...
Abstract: Timed game automata are used for solving control problems on real-time systems. A timed re...
42 pagesSolving games played on timed automata is a well-known problem and has led to tools and indu...
In a reachability-time game, players Min and Max choose moves so that the time to reach a final stat...
version 1.1We propose a subclass of timed game automata (TGA), called Task TGA, representing network...
International audienceIn this paper we consider the problem of controller synthesis for timed games ...
International audienceWe consider parametric reachability control problems for real-time systems. We...
International audiencePartial observability and controllability are two well-known issues in test-ca...