About the Author

Martin Vohralík

Martin Vohralík is a senior researcher at INRIA Paris-Rocquencourt.