SynKit: LTL Synthesis as a Service.

Alberto Camacho Christian J. Muise Jorge A. Baier Sheila A. McIlraith

Published in: IJCAI (2018)

Keyphrases

temporal logic
model checking
web services
service providers
deterministic automata
linear time temporal logic
service oriented
domain specific
management system
service quality
texture synthesis
semantic web services
service delivery
customer service
linear temporal logic
processor sharing
end users
website