Embedded Systems Bernd Finkbeiner, Swen Jacobs


Update Problem Set E

Written: 13.06.2018 08:48 Written By: Maximilian Schwenger

Dear students,

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

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators