Sign in
Yannick Lebrun
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 2
Top Topics
Deterministic Automata
Concurrent Systems
Linear Temporal Logic
Bounded Model Checking
Top Venues
CoRR
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>
Raphaël Khoury
,
Sylvain Hallé
,
Yannick Lebrun
.
Int. J. Softw. Tools Technol. Transf.
23 (2) (2021)
Yannick Lebrun
,
Raphaël Khoury
,
Sylvain Hallé
An Alternating Automaton for First-Order Linear Temporal Logic-Tech Report.
CoRR
(2016)