Costs and rewards in priced timed automata - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Article Dans Une Revue Information and Computation Année : 2022

Dates et versions

hal-03861549 , version 1 (20-11-2022)

Identifiants

Citer

Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell. Costs and rewards in priced timed automata. Information and Computation, 2022, 282, pp.104656. ⟨10.1016/j.ic.2020.104656⟩. ⟨hal-03861549⟩
16 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More