selected publications

• chapter

  • Automatic Processing of Planning Problems: Application on Representative Case Studies.  Communications in computer and information science. 436-445. 2022
  • Towards a Formal Verification Approach for Service Component Architecture.  Frontiers in artificial intelligence and applications. 2017