• 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 10 matches

• 2020
• 
  Nathalie Bertrand:
  Concurrent Games with Arbitrarily Many Players (Invited Talk). MFCS 2020: 1:1-1:8
• 
  Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
  Multi-player Equilibria Verification for Concurrent Stochastic Games. QEST 2020: 74-95
• 
  Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
  Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR abs/2007.03365 (2020)
• 
  Sebastian Enqvist, Valentin Goranko:
  The temporal logic of coalitional goal assignments in concurrent multi-player games. CoRR abs/2012.14195 (2020)
• 2016
• 
  Valentin Goranko, Wojciech Jamroga:
  State and path coalition effectivity models of concurrent multi-player games. Auton. Agents Multi Agent Syst. 30(3): 446-485 (2016)
• 
  Vadim Malvone, Aniello Murano, Loredana Sorrentino:
  Concurrent Multi-Player Parity Games. AAMAS 2016: 689-697
• 2013
• 
  Vipul Goyal, Abhishek Jain, Rafail Ostrovsky, Silas Richelson, Ivan Visconti:
  Constant-Round Concurrent Zero Knowledge in the Bounded Player Model. ASIACRYPT (1) 2013: 21-40
• 
  Vipul Goyal, Abhishek Jain, Rafail Ostrovsky, Silas Richelson, Ivan Visconti:
  Concurrent Zero Knowledge in the Bounded Player Model. TCC 2013: 60-79
• 
  Rushikesh Kamalapurkar, Justin Klotz, Warren E. Dixon:
  Concurrent learning-based online approximate feedback-Nash equilibrium solution of N-player nonzero-sum differential games. CoRR abs/1310.1384 (2013)
• 2012
• 
  Abhishek Jain, Rafail Ostrovsky, Silas Richelson, Ivan Visconti:
  Concurrent Zero Knowledge in the Bounded Player Model. IACR Cryptol. ePrint Arch. 2012: 279 (2012)