Recherche - Archive ouverte HAL

61 résultats

	Pour les 61 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page : Page précédente 1 2 3 Page suivante	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		On the Control of Asynchronous Automata Hugo Gimbert 2017 Pré-publication, Document de travail hal-01259151v12	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Alternating Nonzero Automata Paulin Fournier , Hugo Gimbert CONCUR, Sep 2018, Beijing, China Communication dans un congrès hal-01698519v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Randomized Strategies are Useless in Markov Decision Processes Hugo Gimbert 2009 Pré-publication, Document de travail hal-00403463v4	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Bridge between Polynomial Optimization and Games with Imperfect Recall Hugo Gimbert , Soumyajit Paul , B. Srivathsan AAMAS '20: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent SystemsMay 2020, May 2020, Auckland, Australia Communication dans un congrès hal-02488256v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Computing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions Hugo Gimbert , Youssouf Oualhadj , Soumya Paul 2011 Pré-publication, Document de travail hal-00559173v3	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides Nathalie Bertrand , Blaise Genest , Hugo Gimbert 2008 Pré-publication, Document de travail hal-00341288v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Emptiness of zero automata is decidable Mikołaj Bojańczyk , Hugo Gimbert , Edon Kelmendi 2017 Pré-publication, Document de travail hal-01470940v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Solving Simple Stochastic Games Hugo Gimbert , Florian Horn CIE 2008, Jun 2008, France. pp.206/209, ⟨10.1007/978-3-540-69407-6_24⟩ Communication dans un congrès hal-00344228v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Limits of Multi-Discounted Markov Decision Processes Hugo Gimbert , Wieslaw Zielonka LICS 07, Jul 2007, Wroclaw, Poland. pp.89-98, ⟨10.1109/LICS.2007.28⟩ Communication dans un congrès hal-00140148v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Perfect Information Stochastic Priority Games Hugo Gimbert , Wieslaw Zielonka ICALP 07, Jul 2007, Wroclaw, Poland. pp.850-861, ⟨10.1007/978-3-540-73420-8_73⟩ Communication dans un congrès hal-00140150v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Two-sided matching markets with correlated random preferences have few stable pairs Hugo Gimbert , Claire Mathieu , Simon Mauras 2020 Pré-publication, Document de travail hal-03035039v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Modeling and Control of an Autonomous Tractor Stephane Victor , Pierre Melchior , Lukasz Mizgalski , Hugo Gimbert , Steve Nguyen Workshop Réseau Régional de Recherche en Robotique, Oct 2021, Bidart, France Poster de conférence hal-03548481v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Note: On A Proof Of Positionality Of Mean-Payoff Stochastic Games Hugo Gimbert , Edon Kelmendi [Research Report] Université de Bordeaux, LaBRI. 2014 Rapport hal-01091192v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Pure Stationary Optimal Strategies in Markov Decision Processes Hugo Gimbert STACS 2007, May 2007, Aachen, Germany. pp.200-211, ⟨10.1007/978-3-540-70918-3_18⟩ Communication dans un congrès hal-00140144v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Probabilistic Automata on Finite words: Decidable and Undecidable Problems Hugo Gimbert , Youssouf Oualhadj ICALP 2010, Jul 2010, Bordeaux, France. pp.527-538, ⟨10.1007/978-3-642-14162-1_44⟩ Communication dans un congrès hal-00456538v3	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Simple Stochastic Games with Few Random Vertices are Easy to Solve Hugo Gimbert , Florian Horn FOSSACS, Mar 2009, France. pp.5-19, ⟨10.1007/978-3-540-78499-9⟩ Communication dans un congrès hal-00343656v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Submixing and Shift-invariant Stochastic Games Hugo Gimbert , Edon Kelmendi 2014 Pré-publication, Document de travail hal-00936371v4	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A short proof of correctness of the quasi-polynomial time algorithm for parity games Hugo Gimbert , Rasmus Ibsen-Jensen 2017 Pré-publication, Document de travail hal-01457996v4	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted game Hugo Gimbert , Wieslaw Zielonka Texts in Logic and Games, 2007, 2, pp.331-356 Article dans une revue hal-00344222v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Controlling a Population Nathalie Bertrand , Miheer Dewaskar , Blaise Genest , Hugo Gimbert 2017 Pré-publication, Document de travail hal-01558029v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata Blaise Genest , Hugo Gimbert , Anca Muscholl , Igor Walukiewicz ICALP, 2010, France. pp.52-63 Communication dans un congrès hal-00536788v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Asynchronous Games over Tree Architectures Blaise Genest , Hugo Gimbert , Anca Muscholl , Igor Walukiewicz ICALP - 40th International Colloquium on Automata, Languages, and Programming- 2013, Jul 2013, RIGA, Latvia. pp.275-286, ⟨10.1007/978-3-642-39212-2_26⟩ Communication dans un congrès hal-00916615v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Deciding Maxmin Reachability in Half-Blind Stochastic Games Edon Kelmendi , Hugo Gimbert 2016 Pré-publication, Document de travail hal-01320391v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Distributed Asynchronous Games With Causal Memory are Undecidable Hugo Gimbert Logical Methods in Computer Science, 2022, 18 (3) Article dans une revue hal-03406466v4	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Vérification de l'algorithme de calcul des ordres d'appel dans Parcoursup Pierre Castéran , Hugo Gimbert , Claire Mathieu , Gérald Point AFADL, https://afadl2022.ls2n.fr, Jun 2022, VANNES, France Communication dans un congrès hal-03388671v3	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Deterministic Priority Mean-payoff Games as Limits of Discounted Games Hugo Gimbert , Wieslaw Zielonka Automata, Languages and Programming, Jul 2006, Venice, Italy. pp.312-323, ⟨10.1007/11787006_27⟩ Communication dans un congrès hal-00160434v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Pushing undecidability of the isolation problem for probabilistic automata Nathanaël Fijalkow , Hugo Gimbert , Youssouf Oualhadj 2011 Pré-publication, Document de travail hal-00585840v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Deciding the value 1 problem for probabilistic leaktight automata Nathanaël Fijalkow , Hugo Gimbert , Edon Kelmendi , Youssouf Oualhadj Logical Methods in Computer Science, 2015, pp.37. ⟨10.2168/LMCS-2014-994⟩ Article dans une revue hal-01140262v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Deciding the Value 1 Problem for sharp-acyclic Partially Observable Markov Decision Processes Hugo Gimbert , Youssouf Oualhadj SOFSEM 2014, Jan 2014, Nový Smokovec, Slovakia. pp.281-292, ⟨10.1007/978-3-319-04298-5_25⟩ Communication dans un congrès hal-01006394v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On Subgame Perfection in Quantitative Reachability Games Thomas Brihaye , Véronique Bruyère , Julie de Pril , Hugo Gimbert Logical Methods in Computer Science, 2013, Paper 7. ⟨10.2168/LMCS-9(1:7)2013⟩ Article dans une revue hal-01006399v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats

On the Control of Asynchronous Automata

Alternating Nonzero Automata

Randomized Strategies are Useless in Markov Decision Processes

A Bridge between Polynomial Optimization and Games with Imperfect Recall

Computing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions

Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides

Emptiness of zero automata is decidable

Solving Simple Stochastic Games

Limits of Multi-Discounted Markov Decision Processes

Perfect Information Stochastic Priority Games

Two-sided matching markets with correlated random preferences have few stable pairs

Modeling and Control of an Autonomous Tractor

Note: On A Proof Of Positionality Of Mean-Payoff Stochastic Games

Pure Stationary Optimal Strategies in Markov Decision Processes

Probabilistic Automata on Finite words: Decidable and Undecidable Problems

Simple Stochastic Games with Few Random Vertices are Easy to Solve

Submixing and Shift-invariant Stochastic Games

A short proof of correctness of the quasi-polynomial time algorithm for parity games

Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted game

Controlling a Population

Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata

Asynchronous Games over Tree Architectures

Deciding Maxmin Reachability in Half-Blind Stochastic Games

Distributed Asynchronous Games With Causal Memory are Undecidable

Vérification de l'algorithme de calcul des ordres d'appel dans Parcoursup

Deterministic Priority Mean-payoff Games as Limits of Discounted Games

Pushing undecidability of the isolation problem for probabilistic automata

Deciding the value 1 problem for probabilistic leaktight automata

Deciding the Value 1 Problem for sharp-acyclic Partially Observable Markov Decision Processes

On Subgame Perfection in Quantitative Reachability Games