Pages that link to "Item:Q342707"

The following pages link to Better abstractions for timed automata (Q342707):

Displaying 11 items.

• Spotlight abstraction in model checking real-time task schedulability (Q832017) (← links)
• Backward symbolic optimal reachability in weighted timed automata (Q1996010) (← links)
• Certifying emptiness of timed Büchi automata (Q1996011) (← links)
• Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
• Efficient convex zone merging in parametric timed automata (Q2112120) (← links)
• Reachability relations of timed pushdown automata (Q2221811) (← links)
• Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security (Q2798768) (← links)
• (Q5009444) (← links)
• Verified Certification of Reachability Checking for Timed Automata (Q5039522) (← links)
• (Q5089309) (← links)
• (Q5094137) (← links)