• Citer

On the optimal reachability problem of weighted timed automata

par Bouyer, Patricia P.;Brihaye, Thomas;Bruyère, Véronique;Raskin, Jean-François
Référence Formal methods in system design, 31, 2, page (135-175)
Publication Publié, 2007-10

Article révisé par les pairs

• Accès en ligne
• Détails
• Statistiques

Titre:	On the optimal reachability problem of weighted timed automata
Auteur:	Bouyer, Patricia P.; Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
Informations sur la publication:	Formal methods in system design, 31, 2, page (135-175)
Statut de publication:	Publié, 2007-10
Sujet CREF:	Informatique mathématique
Mots-clés:	Cost-optimal reachability problem
	Weighted timed automaton
Note générale:	SCOPUS: ar.j
Langue:	Anglais
Identificateurs:	urn:issn:0925-9856
	info:doi/10.1007/s10703-007-0035-4
	info:scp/34548459815