Loïg Jezequel
Loïg Jezequel
Université de Nantes, LS2N
Verified email at ls2n.fr - Homepage
Title
Cited by
Cited by
Year
Cost-optimal factored planning: Promises and pitfalls
E Fabre, L Jezequel, P Haslum, S Thiébaux
ICAPS 2010-20th International Conference on Automated Planning and Scheduling), 2010
522010
Distributed optimal planning: an approach by weighted automata calculus
E Fabre, L Jezequel
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held …, 2009
312009
Characterization of reachable attractors using Petri net unfoldings
T Chatain, S Haar, L Jezequel, L Paulevé, S Schwoon
International Conference on Computational Methods in Systems Biology, 129-142, 2014
302014
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
262015
Tri. nh, G., Wolf, K.: Complete Results for the 2016 Edition of the Model Checking Contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ...
25
On the construction of probabilistic diagnosers
E Fabre, L Jezequel
IFAC Proceedings Volumes 43 (12), 229-234, 2010
172010
MCC’2015–the fifth model checking contest
F Kordon, H Garavel, LM Hillah, E Paviot-Adet, L Jezequel, C Rodríguez, ...
Transactions on Petri Nets and Other Models of Concurrency XI, 262-273, 2016
112016
A#: a distributed version of A* for factored planning
L Jezequel, E Fabre
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 7377-7382, 2012
112012
MCC’2017–the seventh model checking contest
F Kordon, H Garavel, LM Hillah, E Paviot-Adet, L Jezequel, ...
Transactions on Petri Nets and Other Models of Concurrency XIII, 181-209, 2018
92018
Turbo planning
L Jezequel, E Fabre
IFAC Proceedings Volumes 45 (29), 301-306, 2012
92012
Factored planning: From automata to Petri nets
L Jezequel, E Fabre, V Khomenko
ACM Transactions on Embedded Computing Systems (TECS) 14 (2), 1-25, 2015
82015
Development and validation of a motor function classification in patients with neuromuscular disease: the NM-Score
C Vuillerot, P Rippert, S Roche, C Bérard, F Margirier, C De Lattre, I Poirot, ...
Annals of physical and rehabilitation medicine 56 (9-10), 673-686, 2013
82013
Presentation of the 9th edition of the model checking contest
E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
72019
Complete Results for the 2015 Edition of the Model Checking Contest (2015)
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
URL http://mcc. lip6. fr/2015/results. php, 2015
72015
Lazy reachability analysis in distributed systems
L Jezequel, D Lime
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
52016
nh, and K. Wolf. Complete Results for the 2016 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ...
42016
Networks of automata with read arcs: a tool for distributed planning
L Jezequel, E Fabre
IFAC Proceedings Volumes 44 (1), 7012-7017, 2011
42011
Distributed computation of vector clocks in Petri net unfoldings for test selection
L Jezequel, A Madalinski, S Schwoon
Discrete Event Dynamic Systems, 1-24, 2020
22020
Presentation of the 9th edition of the model checking contest
F Kordon, H Garavel, L Hillah, E Paviot-Adet, L Jezequel, F Hulin-Hubard, ...
22019
Computation of summaries using net unfoldings
J Esparza, L Jezequel, S Schwoon
arXiv preprint arXiv:1310.2143, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20