A classification of symbolic transition systems

von Henzinger, Thomas A.
Veröffentlicht 1999

Stochastic limit-average games are in EXPTIME

von Chatterjee, Krishnendu
Veröffentlicht in International journal of game theory (2008)

DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation

von Bilbeisi, Ghaith
Veröffentlicht in ICONIP (27. : 2020 : Bangkok; Online) Neural information processing ; Part 5 (2020)

Enhancing GenMC’s Usability and Performance

von Kokologiannakis, Michalis
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)

General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond

von Majumdar, Rupak
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)

Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings

Veröffentlicht 2017

Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings

Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings

Veröffentlicht 2017

Networked systems : 8th international conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings

Veröffentlicht 2021

Hybrid systems : computation and control ; 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings

Veröffentlicht 2009

Paracosm: A Test Framework for Autonomous Driving Simulations

von Majumdar, Rupak
Veröffentlicht in FASE (24. : 2021 : Online) Fundamental approaches to software engineering (2021)

Tools and algorithms for the construction and analysis of systems : 16th international conference, TACAS 2010, held as Part of the Joint European Conference on Theory and Practic...

Veröffentlicht 2010

Runtime verification : 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 ; proceedings

Veröffentlicht 2015

Principles of systems design : essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday

Veröffentlicht 2022

A Direct Symbolic Algorithm for Solving Stochastic Rabin Games

von Banerjee, Tamajit
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)

Special issue: RV 2015

Veröffentlicht 2017

Verifying non-blocking data structures with manual memory management

von Wolff, Sebastian
Veröffentlicht 2021

Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10 - 12 , 2008; proceedings

Veröffentlicht 2008

Joint Inference of Reward Machines and Policies for Reinforcement Learning

von Xu, Zhe
Veröffentlicht in ICAPS Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (2020)

POPL'16 : Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Veröffentlicht 2016