Work

Average Reward Timed Games

Year: 2005

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/11603009_6

Authors: Bo Thomas Adler, Luca de Alfaro, Marco Faella

Institutions: University of California, Santa Cruz, University of Naples Federico II

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1587428305

FWCI: 1.854

Cites: 21

Cited by: 14

Related to: 10