Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Modular synthesis #2

Closed
3 tasks done
Lipen opened this issue Aug 16, 2019 · 0 comments
Closed
3 tasks done

Modular synthesis #2

Lipen opened this issue Aug 16, 2019 · 0 comments
Assignees
@Lipen
Labels
feature New feature or request

Comments

@Lipen
Copy link
Member

Lipen commented Aug 16, 2019 •
edited
Loading

Implement synthesis of modular automata with various models of connectivity:

  • parallel
  • sequential
  • arbitrary

For now, we only focus on scenarios-only synthesis ("Basic" and "Extended" methods), leaving out the negative scenarios support ("Complete" method) for modular synthesis. But nothing stops us from supporting modular CEGIS in the future.
@Lipen Lipen self-assigned this Aug 16, 2019
@Lipen Lipen changed the title Implement sequential modular synthesis Modular synthesis Dec 20, 2019
@Lipen Lipen added feature New feature or request and removed Future plans labels Dec 20, 2019
@Lipen Lipen closed this as completed Nov 20, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Lipen Lipen

Labels
feature New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Lipen