Safraless Procedures for Timed Specifications

This paper presents extensions of Safraless algorithms proposed in the literature for automata on infinite untimed words to the case of automata on infinite timed words.

• Type: Journal
• Year: 2010
• Where: FORMATS
• Authors: Barbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
• Keywords: Algorithms, Formal Methods, FORMATS 2010, Infinite Timed Words, Paper