"Translating Omega-Regular Specifications to Average Objectives for ..."

Milad Kazemi et al. (2022)

Details and statistics

DOI: 10.5555/3535850.3535933

access: open

type: Conference or Workshop Paper

metadata version: 2022-07-18