Embedded Systems Bernd Finkbeiner, Swen Jacobs

News

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.

Changes:

  • 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