Author of the publication

SMT-Based Unbounded Model Checking for ATL.

, , , , and . VECoS, volume 13187 of Lecture Notes in Computer Science, page 43-58. Springer, (2021)

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

SMT-based Abstract Temporal Planning., and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 55-74. CEUR-WS.org, (2014)LoLA as Abstract Planning Engine of PlanICS., and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 349-350. CEUR-WS.org, (2014)Satisfiability Checking of Strategy Logic with Simple Goals., , and . KR, page 400-410. (2021)SMT-Based Unbounded Model Checking for ATL., , , , and . VECoS, volume 13187 of Lecture Notes in Computer Science, page 43-58. Springer, (2021)MsATL: a Tool for SAT-Based ATL Satisfiability Checking., , , , , and . CoRR, (2023)Generating None-Plans in Order to Find Plans., , and . SEFM, volume 9276 of Lecture Notes in Computer Science, page 310-324. Springer, (2015)HarmonICS - a Tool for Composing Medical Services., , , , , , and . ZEUS, volume 847 of CEUR Workshop Proceedings, page 25-33. CEUR-WS.org, (2012)Hybrid Planning by Combining SMT and Simulated Annealing., , and . CS&P, volume 1492 of CEUR Workshop Proceedings, page 173-176. CEUR-WS.org, (2015)A Hybrid Approach to Web Service Composition Problem in the PlanICS Framework., , and . MobiWIS, volume 8640 of Lecture Notes in Computer Science, page 17-28. Springer, (2014)Towards Checking Parametric Reachability for UML State Machines., , and . Ershov Memorial Conference, volume 5947 of Lecture Notes in Computer Science, page 319-330. Springer, (2009)