New Search

Advanced search
Export article

On-the-Fly Synthesis for Strictly Alternating Games

Sciprofile linkShyam Lal Karra, Sciprofile linkKim Guldstrand Larsen, Sciprofile linkMarco Muñiz, Sciprofile linkJiří Srba
Lecture Notes in Computer Science pp 109-128; doi:10.1007/978-3-030-51831-8_6

The publisher has not yet granted permission to display this abstract.
Keywords: model / Games / Net / players / Decidability / Petri / Strictly / Alternating Simulation

Scifeed alert for new publications

Never miss any articles matching your research from any publisher
  • Get alerts for new papers matching your research
  • Find out the new papers from selected authors
  • Updated daily for 49'000+ journals and 6000+ publishers
  • Define your Scifeed now

Share this article

Click here to see the statistics on "Lecture Notes in Computer Science" .
Back to Top Top