vix.ing
·
top
·
new
·
best
·
stats
Pierluigi San Pietro
TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)
2026/02/17 by
Andrea Manini
,
Matteo Rossi
,
Pierluigi San Pietro
· 1 voice
Computer Science
·
#cs.FL