• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 71 matches

• 2022
• 
  Jakub Gajarský, Maximilian Gorsky, Stephan Kreutzer:
  Differential Games, Locality, and Model Checking for FO Logic of Graphs. CSL 2022: 22:1-22:18
• 2021
• 
  Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault:
  Probabilistic model checking for human activity recognition in medical serious games. Sci. Comput. Program. 206: 102629 (2021)
• 
  Manuel Gieseking, Ernst-Rüdiger Olderog:
  High-Level Representation of Benchmark Families for Petri Games. Model Checking, Synthesis, and Learning 2021: 115-137
• 
  Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault:
  Probabilistic Model Checking for Activity Recognition in Medical Serious Games. SEH@ICSE 2021: 72-79
• 2020
• 
  Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse:
  Family-Based SPL Model Checking Using Parity Games with Variability. FASE 2020: 245-265
• 
  Jakub Gajarský, Maximilian Gorsky, Stephan Kreutzer:
  Differential games, locality and model checking for FO logic of graphs. CoRR abs/2007.11345 (2020)
• 
  Martin Mariusz Lester:
  Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking. CoRR abs/2012.15365 (2020)
• 2019
• 
  Anna Sawicka, Magdalena Kacprzak, Andrzej Zbrzezny:
  Towards Encoding of the Transition Relation in Dialogue Games Model Checking. Fundam. Informaticae 165(3-4): 345-361 (2019)
• 
  Shirin Baghoolizadeh, Ali Movaghar, Negin Majidi:
  A uniformization-based algorithm for continuous-time stochastic games model checking. Theor. Comput. Sci. 756: 1-18 (2019)
• 
  Pranav Ashok, Jan Kretínský, Maximilian Weininger:
  PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. CAV (1) 2019: 497-519
• 
  Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
  Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM 2019: 298-315
• 
  Bernd-Holger Schlingloff:
  Teaching Model Checking via Games and Puzzles. FMFun 2019: 143-158
• 
  Pranav Ashok, Jan Kretínský, Maximilian Weininger:
  PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. CoRR abs/1905.04403 (2019)
• 2018
• 
  Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara, Victor Rivera:
  Model Checking in Multiplayer Games Development. AINA 2018: 826-833
• 
  Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann:
  Graph Games and Reactive Synthesis. Handbook of Model Checking 2018: 921-962
• 
  Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
  Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. CoRR abs/1811.07145 (2018)
• 2017
• 
  Chung-Hao Huang, Sven Schewe, Farn Wang:
  Model-checking iterated games. Acta Informatica 54(7): 625-654 (2017)
• 
  Azlan B. Ismail, Marta Kwiatkowska:
  Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking. APSEC 2017: 436-445
• 
  Karoliina Lehtinen:
  The descriptive complexity of modal mu model-checking parity games. GandALF 2017: 76-90
• 
  Kim G. Larsen, Uli Fahrenberg, Axel Legay:
  From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Dependable Software Systems Engineering 2017: 60-103
• 
  Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara, Victor Rivera:
  Model Checking in multiplayer games development. CoRR abs/1712.01207 (2017)
• 2016
• 
  Marta Z. Kwiatkowska:
  Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice. ICALP 2016: 4:1-4:18
• 2015
• 
  Kerry Moffitt, John Ostwald, Ron Watro, Eric Church:
  Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games. CSI-SE 2015: 30-31
• 
  Javier Cámara, David Garlan, Bradley R. Schmerl, Ashutosh Pandey:
  Optimal planning for architecture-based self-adaptation via model checking of stochastic games. SAC 2015: 428-435
• 2014
• 
  Takeshi Tsukada, C.-H. Luke Ong:
  Compositional higher-order model checking via ω-regular games over Böhm trees. CSL-LICS 2014: 78:1-78:10
• 
  Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz:
  Are Good-for-Games Automata Good for Probabilistic Model Checking? LATA 2014: 453-465
• 
  (Withdrawn) Reasoning about Games via a First-order Modal Model Checking Approach. CoRR abs/1402.1377 (2014)
• 2013
• 
  Rastislav Lenhardt:
  Two variable and linear temporal logic in model checking and games. University of Oxford, UK, 2013
• 
  Michael Benedikt, Rastislav Lenhardt, James Worrell:
  Two Variable vs. Linear Temporal Logic in Model Checking and Games. Log. Methods Comput. Sci. 9(2) (2013)
• 
  Erich Grädel:
  Model-checking games for logics of imperfect information. Theor. Comput. Sci. 493: 2-14 (2013)

skipping 41 more matches