MTSA / Feature Requests / #9 Controller Synthesis returns MTSs (in all its flavours)

#9 Controller Synthesis returns MTSs (in all its flavours)

Milestone: Next Release (example)

Status: open

Owner: Mariano Cerrutti

Labels: None

Priority: 5

Updated: 2014-12-29

Created: 2014-12-29

Creator: Nicolas D' Ippolito

Private: No

they should be LTSs.

Discussion

Log in to post a comment.