Lecture Notes in Computer Science - Reachability Problems
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 17)

H-INDEX

1
(FIVE YEARS 1)

Published By Springer International Publishing

9783030308056, 9783030308063
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On Relevant Equilibria in Reachability Games

2019 ◽  
pp. 48-62
Author(s):  
Thomas Brihaye ◽  
Véronique Bruyère ◽  
Aline Goeminne ◽  
Nathan Thomasset

Bidding Games on Markov Decision Processes

2019 ◽  
pp. 1-12
Author(s):  
Guy Avni ◽  
Thomas A. Henzinger ◽  
Rasmus Ibsen-Jensen ◽  
Petr Novotný
Keyword(s):  
Markov Decision Processes ◽  
Decision Processes ◽  
Markov Decision

scholarly journals On Solving Word Equations Using SAT

2019 ◽  
pp. 93-106
Author(s):  
Joel D. Day ◽  
Thorsten Ehlers ◽  
Mitja Kulczynski ◽  
Florin Manea ◽  
Dirk Nowotka ◽  
...  
Keyword(s):  
Word Equations

Reaching Out Towards Fully Verified Autonomous Systems

2019 ◽  
pp. 22-32
Author(s):  
Sriram Sankaranarayanan ◽  
Souradeep Dutta ◽  
Sergio Mover
Keyword(s):  
Autonomous Systems

scholarly journals Partial Solvers for Generalized Parity Games

2019 ◽  
pp. 63-78
Author(s):  
Véronique Bruyère ◽  
Guillermo A. Pérez ◽  
Jean-François Raskin ◽  
Clément Tamines
Keyword(s):  
Parity Games
Load More ...
Sign in / Sign up

Export Citation Format

Share Document