Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=493
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Model-checking games for logics of imperfect information
Erich Grädel
Theoretical Computer Science
493
, 2013, pp. 2-14
A game-theoretic approach to fault diagnosis and identification of hybrid systems
Davide Bresolin
,
Marta Capiluppi
Theoretical Computer Science
493
, 2013, pp. 15-29
Optimal bounds in parametric LTL games
Martin Zimmermann
Theoretical Computer Science
493
, 2013, pp. 30-45
Connectivity games over dynamic networks
Sten Grüner
,
Frank G. Radmacher
,
Wolfgang Thomas
Theoretical Computer Science
493
, 2013, pp. 46-65
Computing the reveals relation in occurrence nets
Stefan Haar
,
Christian Kern
,
Stefan Schwoon
Theoretical Computer Science
493
, 2013, pp. 66-79
Determinacy and optimal strategies in infinite-state stochastic reachability games
Václav Broz̑ek
Theoretical Computer Science
493
, 2013, pp. 80-97
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
Davide Bresolin
,
Angelo Montanari
,
Pietro Sala
,
Guido Sciavicco
Theoretical Computer Science
493
, 2013, pp. 98-115
Automatic synthesis of switching controllers for linear hybrid systems: Safety control
Massimo Benerecetti
,
Marco Faella
,
Stefano Minopoli
Theoretical Computer Science
493
, 2013, pp. 116-138