External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

FlatPack: flexible temporal planning with verification and controller synthesis

Ajay Kattepur, Swarup Kumar Mohalik. FlatPack: flexible temporal planning with verification and controller synthesis. In Chih-Cheng Hung, Jiman Hong, Alessio Bechini, Eunjee Song, editors, SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021. pages 801-810, ACM, 2021. [doi]

Authors

Ajay Kattepur

This author has not been identified. Look up 'Ajay Kattepur' in Google

Swarup Kumar Mohalik

This author has not been identified. Look up 'Swarup Kumar Mohalik' in Google
runs on