Sign in
Daniel Assa
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Finite State
Bounded Model Checking
Automata Theoretic
Linear Temporal Logic
Top Venues
CoRR
FSTTCS
</>
Publications
</>
Shaull Almagor
,
Daniel Assa
,
Udi Boker
Synchronized CTL over One-Counter Automata.
CoRR
(2023)
Shaull Almagor
,
Daniel Assa
,
Udi Boker
Synchronized CTL over One-Counter Automata.
FSTTCS
(2023)