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: Author="de Alfaro, Luca"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Strategy improvement for concurrent reachability and turn-based stochastic safety games
Krishnendu Chatterjee
,
Luca de Alfaro
,
Thomas A. Henzinger
Journal of Computer and System Sciences
79
(5), 2013, pp. 640-657
The complexity of coverage
Krishnendu Chatterjee
,
Luca de Alfaro
,
Rupak Majumdar
International Journal of Foundations of Computer Science
24
(2), 2013, pp. 165-185
Solving games via three-valued abstraction refinement
Luca de Alfaro
,
Pritam Roy
Information and Computation
208
(6), 2010, pp. 666-676
Algorithms for game metrics
Krishnendu Chatterjee
,
Luca de Alfaro
,
Rupak Majumdar
,
Vishwanath Raman
Leibniz International Proceedings in Informatics (LIPIcs)
2
, 2008
Concurrent reachability games
Luca de Alfaro
,
Thomas A. Henzinger
,
Orna Kupferman
Theoretical Computer Science
386
(3), 2007, pp. 188-217
The complexity of stochastic Rabin and Streett games
Krishnendu Chatterjee
,
Luca de Alfaro
,
Thomas A. Henzinger
Lecture Notes in Computer Science
3580
, 2005, pp. 878-890
Model checking discounted temporal properties
Luca de Alfaro
,
Marco Faella
,
Thomas A. Henzinger
,
Rupak Majumdar
,
Mariƫlle Stoelinga
Theoretical Computer Science
345
(1), 2005, pp. 139-170
Linear and branching metrics for quantitative transition systems
Luca de Alfaro
,
Marco Faella
,
Mariƫlle Stoelinga
Lecture Notes in Computer Science
3142
, 2004, pp. 97-109
Quantitative solution of omega-regular games
Luca de Alfaro
,
Rupak Majumdar
Journal of Computer and System Sciences
68
(2), 2004, pp. 374-397
Information flow in concurrent games
Luca de Alfaro
,
Marco Faella
Lecture Notes in Computer Science
2719
, 2003, pp. 1038-1053
Discounting the future in systems theory
Luca de Alfaro
,
Thomas A. Henzinger
,
Rupak Majumdar
Lecture Notes in Computer Science
2719
, 2003, pp. 1022-1037
Hybrid diagrams
Luca de Alfaro
,
Arjun Kapur
Theoretical Computer Science
290
(1), 2003, pp. 565-597
Quantitative solution of omega-regular games
Luca de Alfaro
,
Rupak Majumdar
Proceedings of the 33rd Annual ACM Symposium on Theory of Computing, STOC'2001 (Hersonissos, Crete, Greece, July 6-8, 2001)
, 2001, pp. 675-683
Concurrent reachability games
Luca de Alfaro
,
Thomas A. Henzinger
,
Orna Kupferman
Proceedings of the 39th Annual IEEE Symposium on Foundations of Computer Science, FOCS'98 (Palo Alto, California, November 8-11, 1998)
, 1998, pp. 564-575
Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification
Luca de Alfaro
,
Arjun Kapur
,
Zohar Manna
Lecture Notes in Computer Science
1200
, 1997, pp. 153-164
Temporal logics for the specification of performance and reliability
Luca de Alfaro
Lecture Notes in Computer Science
1200
, 1997, pp. 165-176