EXPLORE THE UNIVERSITY OF OXFORD'S WORLD-CLASS RESEARCH

1 - 2 of 2
1
Conference item icon
Conference item

The Big-O problem for labelled Markov chains and weighted automata

  • Chistikov, D, Kiefer, S, Murawski, A, et al.
  • 2020-08-26
File available icon
Peer reviewed icon
Link to publisher copy available icon
2
Conference item icon
Conference item

O-minimal invariants for linear loops

  • Almagor, S, Chistikov, D, Ouaknine, J, et al.
  • 2018-06-29
File available icon
Peer reviewed icon
Link to publisher copy available icon
FILTER RESULTS

TO TOP