|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 13 keywords
|
|
|
|
|
Results
Found 60 publication records. Showing 60 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Laurent Doyen, Olivier Gaudoin |
Modeling and Assessment of Aging and Efficiency of Corrective and Planned Preventive Maintenance.  |
IEEE Transactions on Reliability  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Energy and Mean-Payoff Parity Markov Decision Processes |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Rohit Singh 0002 |
On Memoryless Quantitative Objectives |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell |
On Reachability for Hybrid Automata over Bounded Time |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Partial-Observation Stochastic Games: How to Win when Belief Fails |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |
Synchronizing Objectives for Markov Decision Processes |
iWIGP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin |
Faster algorithms for mean-payoff games. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell |
On Reachability for Hybrid Automata over Bounded Time. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Energy and Mean-Payoff Parity Markov Decision Processes. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |
Infinite Synchronizing Words for Probabilistic Automata. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin |
Antichain-Based QBF Solving. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Rohit Singh 0002 |
On Memoryless Quantitative Objectives. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
Strategy construction for parity games with imperfect information. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Generalized Mean-payoff and Energy Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Energy Parity Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger |
Randomness for Free |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou |
Mean-payoff Automaton Expressions |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Expressiveness and Closure Properties for Quantitative Languages |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Quantitative languages. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou |
Mean-Payoff Automaton Expressions. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen, Jean-François Raskin |
Antichain Algorithms for Finite Automata. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic |
Robustness of Sequential Circuits. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
robustness, sequential circuits, continuity, Mealy machines |
| 1 | Krishnendu Chatterjee, Laurent Doyen |
The Complexity of Partial-Observation Parity Games. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Energy Parity Games. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger |
Randomness for Free. |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Qualitative Analysis of Partially-Observable Markov Decision Processes. |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk |
Energy and Mean-Payoff Games with Imperfect Information. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Generalized Mean-payoff and Energy Games. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Expressiveness and Closure Properties for Quantitative Languages |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
Alpaga: A Tool for Solving Parity Games with Imperfect Information |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Laurent Doyen, Jean-François Raskin |
Antichains for the Automata-Based Approach to Model-Checking |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Probabilistic Weighted Automata |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Qualitative Analysis of Partially-observable Markov Decision Processes |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Probabilistic Weighted Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
Alpaga: A Tool for Solving Parity Games with Imperfect Information. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
A Survey of Stochastic Games with Limsup and Liminf Objectives. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert |
Realizability of Real-Time Logics. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Alternating Weighted Automata. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Expressiveness and Closure Properties for Quantitative Languages. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Equivalence of Labeled Markov Chains. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin |
Robust safety of timed automata. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Robustness, Implementability, Perturbation, Timed automaton, Drift |
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje |
Strategy Construction for Parity Games with Imperfect Information. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov |
Interface theories with component reuse. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
interfaces, composition, refinement |
| 1 | Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin |
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin |
Alaska. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Quantitative Languages. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Laurent Doyen |
On the Power of Imperfect Information. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen |
Robust parametric reachability for timed automata. |
Inf. Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Algorithms for Omega-Regular Games with Imperfect Information. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Algorithms for Omega-Regular Games with Imperfect Information |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Laurent Doyen, Jean-François Raskin |
Improved Algorithms for the Automata-Based Approach to Model-Checking. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Antichains: A New Algorithm for Checking Universality of Finite Automata. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Jean-François Raskin |
A Lattice Theory for Solving Games of Imperfect Information. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Algorithms for Omega-Regular Games with Imperfect Information, . |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Jean-François Raskin |
Almost ASAP semantics: from timed models to timed implementations. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Timed and Hybrid Automata, Verification, Semantics, Implementability |
| 1 | Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Automatic Rectangular Refinement of Affine Hybrid Systems. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Jean-François Raskin |
Systematic Implementation of Real-Time Models. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin |
Robustness and Implementability of Timed Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Jean-François Raskin |
Almost ASAP Semantics: From Timed Models to Timed Implementations. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #60 of 60 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")