logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
B

Baptiste Fievet

centre national de la recherche scientifique (cnrs)

1H-index
6Paper Count
6Citation Count
Published Papers 1
Publication Date
logo
Controller Synthesis for Parametric Timed Games
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errDahlsen-Jensen, Mikael Bisgaard; Fievet, Baptiste; Petrucci, Laure; van de Pol, Jaco
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
Jaco van de Pol
H-index: 30 · Papers: 323
L
Laure Petrucci
H-index: 19 · Papers: 191
M
Mikael Bisgaard Dahlsen-Jensen
H-index: 1 · Papers: 4
All loaded