Guy Hefetz

According to our database¹, Guy Hefetz authored at least 2 papers between 2021 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

On the Comparison of Discounted-Sum Automata with Multiple Discount Factors.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2021

Discounted-Sum Automata with Multiple Discount Factors.

[BibT_eX]

[DOI]

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021