Showing 1 - 10 results of 10 for search 'Leibniz International Proceedings in Informatics', query time: 0.07s Refine Results
  1. 1
    Fast sampling via spectral independence beyond bounded-degree graphs

    Fast sampling via spectral independence beyond bounded-degree graphs by Bezakova, I, Galanis, A, Goldberg, L, Stefankovic, D

    Published 2022
    “…Leibniz International Proceedings in Informatics…”
    Conference item
  2. 2
    Nash equilibrium and bisimulation invariance

    Nash equilibrium and bisimulation invariance by Gutierrez, J, Harrenstein, P, Perelli, G, Wooldridge, M

    Published 2017
    “…Leibniz International Proceedings in Informatics…”
    Conference item
  3. 3
    On LTL model-checking for low-dimensional discrete linear dynamical systems

    On LTL model-checking for low-dimensional discrete linear dynamical systems by Karimov, T, Ouaknine, J, Worrell, J

    Published 2020
    “…Leibniz International Proceedings in Informatics…”
    Conference item
  4. 4
    Counting answers to existential questions

    Counting answers to existential questions by Roth, M, Dell, H, Wellnitz, P

    Published 2019
    “…Leibniz International Proceedings in Informatics…”
    Conference item
  5. 5
    Models for polymorphism over physical dimensions

    Models for polymorphism over physical dimensions by Atkey, R, Ghani, N, Forsberg, F, Revell, T, Staton, S

    Published 2015
    “…Leibniz International Proceedings in Informatics…”
    Conference item
  6. 6
    Algebraic invariants for linear hybrid automata

    Algebraic invariants for linear hybrid automata by Majumdar, R, Ouaknine, J, Pouly, A, Worrell, J

    Published 2020
    “…Leibniz International Proceedings in Informatics…”
    Conference item
  7. 7
    The polytope-collision problem

    The polytope-collision problem by Almagor, S, Ouaknine, J, Worrell, J

    Published 2017
    “…Leibniz International Proceedings in Informatics…”
    Journal article
  8. 8
    On ranking function synthesis and termination for polynomial programs

    On ranking function synthesis and termination for polynomial programs by Neumann, E, Ouaknine, J, Worrell, JB

    Published 2020
    “…Leibniz International Proceedings in Informatics…”
    Conference item
  9. 9
    Safety verification for deep neural networks with provable guarantees

    Safety verification for deep neural networks with provable guarantees by Kwiatkowska, M

    Published 2019
    “…Leibniz International Proceedings in Informatics, LIPIcs…”
    Conference item
  10. 10
    Linearly ordered colourings of hypergraphs

    Linearly ordered colourings of hypergraphs by Nakajima, T-V, Zivny, S

    Published 2022
    “…Leibniz International Proceedings in Informatics, LIPIcs…”
    Conference item

Search Tools: