( en | de | ru )

 

Disambiguation of "Gall, Tristan Le"

Author of the publication

copydeleteadd this publication to your clipboard
Iterated Regret Minimization in Game Graphs.

, , and . MFCS, volume 6281 of Lecture Notes in Computer Science, page 342-354. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sylvie Le Gall

Tristan Jäger

Tristan Künzel

Tristan Nguyen

Tristan Funk

 

Other publications of authors with the same name

Control of infinite Symbolic Transition Systems under partial observation., , , and . ECC, page 1456-1462. IEEE, (2009)Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation., , and . CDC/ECC, page 30-35. IEEE, (2005)Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation., , , and . Discrete Event Dynamic Systems, 22 (2): 121-161 (2012)Contrôle de systèmes symboliques, discrets ou hybrides., , and . Technique et Science Informatiques, 25 (3): 289-315 (2006)An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations., , and . NSAD@SAS, volume 287 of Electronic Notes in Theoretical Computer Science, page 65-76. Elsevier, (2012)Decentralized Control of Infinite Systems., , , and . Discrete Event Dynamic Systems, 21 (3): 359-393 (2011)Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues., , and . AMAST, volume 4019 of Lecture Notes in Computer Science, page 204-219. Springer, (2006)Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification., and . SAS, volume 4634 of Lecture Notes in Computer Science, page 52-68. Springer, (2007)Synthesis of communicating controllers for distributed systems., , , and . CDC/ECC, page 1803-1810. IEEE, (2011)Static Analysis of Communicating Processes Using Symbolic Transducers., , and . VMCAI, volume 10145 of Lecture Notes in Computer Science, page 73-90. Springer, (2017)