Author of the publication

Toward a decision support system for the clinical pathways assessment.

, , and . Discret. Event Dyn. Syst., 29 (1): 91-125 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Robot Planning Based on Boolean Specifications Using Petri Net Models., and . IEEE Trans. Automat. Contr., 63 (7): 2218-2225 (2018)An Automated Framework for Formal Verification of Timed Continuous Petri Nets., , , and . IEEE Trans. Ind. Informatics, 6 (3): 460-471 (2010)Modular Petri net modeling of the Spanish health system., , and . ETFA, page 1-8. IEEE, (2012)Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation., , , , and . CoRR, (2023)Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets., , , and . ECC, page 1-8. IEEE, (2023)Probabilistic Multi-Robot Path Planning with High-Level Specifications using Petri Net Models., and . CASE, page 2188-2193. IEEE, (2021)Distributing Co-safe LTL Specifications to Mobile Robots., , and . ICSTCC, page 306-311. IEEE, (2022)Extension of a decomposition method for a global LTL specification., , and . ETFA, page 1-4. IEEE, (2023)Whitening of greenhouse's roof using drones and Petri net models*., , , and . ETFA, page 1-8. IEEE, (2022)Path-planning in Discretized Environments with Optimized Waypoints Computation., , and . ETFA, page 729-735. IEEE, (2018)