Weak Alternating Timed Automata
type: Dataset
description: International audience
issued: 2026-05-05T23:07:45.580729
language: en
modified: 2026-05-05T23:07:45.580734
contact point: Organization
  fn: CCSD
keyword: acm-f11-f43
keyword: alternating-timed-automata
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: journal-articles
keyword: timed-systems
keyword: verification
landing page: 1860-5974

Weak Alternating Timed Automata
type: Distribution
format: HTML
issued: 2026-05-05T23:07:45.582742
modified: 2026-05-05T23:07:45.565124
access URL: https://hal.science/hal-00962246

test_moissonnage_selune
type: Agent