Advanced search    

Search: authors:"Sergei Soloviev"

1 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

A Formal Study of Boolean Games with Random Formulas as Payoff Functions

, 2018 . URL: https://coq.inria.fr/distrib/V8.8.0/refman/. Evgeny Dantsin , Jan-Georg Smaus , and Sergei Soloviev . Algorithms in Games Evolving in Time: Winning Strategies Based on Testing . In Isabelle ... ): 295 - 323 , 2008 . doi: 10 .1007/ s10817-008-9113-6. Joe Hurd . Formal verification of probabilistic algorithms . PhD thesis , University of Cambridge, 2002 . Erik Martin-Dorel and Sergei Soloviev