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
Proceedings of the International Conference on Automated Planning and …, 2010
532010
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
36*2015
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
342009
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 2016 edition of the model checking contest, June 2016
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, B Berthomieu, G Ciardo, ...
19*
On the construction of probabilistic diagnosers
E Fabre, L Jezequel
IFAC Proceedings Volumes 43 (12), 229-234, 2010
182010
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
142019
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
132016
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
112018
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
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
92015
Turbo planning
L Jezequel, E Fabre
IFAC Proceedings Volumes 45 (29), 301-306, 2012
92012
Lazy reachability analysis in distributed systems
L Jezequel, D Lime
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
52016
Distributed computation of vector clocks in Petri nets unfolding for test selection
L Jezequel, A Madalinski, S Schwoon
IFAC-PapersOnLine 51 (7), 106-111, 2018
42018
Networks of automata with read arcs: a tool for distributed planning
L Jezequel, E Fabre
IFAC Proceedings Volumes 44 (1), 7012-7017, 2011
42011
Computation of summaries using net unfoldings
J Esparza, L Jezequel, S Schwoon
arXiv preprint arXiv:1310.2143, 2013
32013
Distributed Cost-Optimal Planning
L Jezequel
ENS Cachan, 2012
32012
A-sharp: A Distributed A-star for Factored Planning
L Jezequel, E Fabre
INRIA, 2012
22012
Pomset Bisimulation and Unfolding for Reset Petri Nets
T Chatain, M Comlan, D Delfieu, L Jezequel, OH Roux
Information and Computation, 104674, 2020
12020
Factored cost-optimal planning using message passing algorithms
L Jezequel, E Fabre
Fundamenta Informaticae 139 (4), 369-401, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–20