Found: 7

Select item for more details and to access through your institution.

  • Average-energy games.

    Published in:
    Acta Informatica, 2018, v. 55, n. 2, p. 91, doi. 10.1007/s00236-016-0274-1
    By:
    • Bouyer, Patricia;
    • Markey, Nicolas;
    • Randour, Mickael;
    • Larsen, Kim G.;
    • Laursen, Simon
    Publication type:
    Article

  • Diagnosing timed automata using timed markings.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 2, p. 229, doi. 10.1007/s10009-021-00606-2
    By:
    • Bouyer, Patricia;
    • Henry, Léo;
    • Jaziri, Samy;
    • Jéron, Thierry;
    • Markey, Nicolas
    Publication type:
    Article

  • Lower and upper bounds in zone-based abstractions of timed automata.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 204, doi. 10.1007/s10009-005-0190-0
    By:
    • Behrmann, Gerd;
    • Bouyer, Patricia;
    • Larsen, Kim G.;
    • Pelánek, Radek
    Publication type:
    Article

  • HALF-POSITIONAL OBJECTIVES RECOGNIZED BY DETERMINISTIC BÜCHI AUTOMATA.

    Published in:
    Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 19:1, doi. 10.46298/LMCS-20(3:19)2024
    By:
    • BOUYER, PATRICIA;
    • CASARES, ANTONIO;
    • RANDOUR, MICKAEL;
    • VANDENHOVE, PIERRE
    Publication type:
    Article

  • ARENA-INDEPENDENT FINITE-MEMORY DETERMINACY IN STOCHASTIC GAMES.

    Published in:
    Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 4, p. 1, doi. 10.46298/LMCS-19(4:18)2023
    By:
    • BOUYER, PATRICIA;
    • OUALHADJ, YOUSSOUF;
    • RANDOUR, MICKAEL;
    • VANDENHOVE, PIERRE
    Publication type:
    Article

  • STOCHASTIC TIMED AUTOMATA.

    Published in:
    Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:6)2014
    By:
    • BERTRAND, NATHALIE;
    • BOUYER, PATRICIA;
    • BRIHAYE, THOMAS;
    • MENET, QUENTIN;
    • BAIER, CHRISTEL;
    • GRÖSSER, MARCUS;
    • JURDZIŃSKI, MARCIN
    Publication type:
    Article

  • Dependences in Strategy Logic.

    Published in:
    Theory of Computing Systems, 2020, v. 64, n. 3, p. 467, doi. 10.1007/s00224-019-09926-y
    By:
    • Gardy, Patrick;
    • Bouyer, Patricia;
    • Markey, Nicolas
    Publication type:
    Article