Update Problem Set E
we uploaded a revised version of Problem Set E to the rCMS.
- The CFG did not have a specified source/sink nodes (Node 1 and Node 6, resp.).
- Two atomic propositions were missing: flower_in_sight (fis), and trash_in_sight (tis).
Have a nice week,
your Embedded Systems Team