Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.2k questions

1.3k answers

1.7k comments

581 users

Most popular tags

vrs vrs_exam vrs_exercise ltl exam ctl dira omega_automata rosy parallel_computing ltl_model_checking mbes processor_architecture zielonka sequent-calculus local-model-checking se1 lo2 automata bdd mu-calculus simplex temporal kripke rosy_exam greatest-simulation zdd2fdd vrs_lecture studiengang_reform bdd2fdd exists-algorithm tool fourier_motzkin equivalance bdd2zdd studiengangswechsel symbolic_computation ctl_model_checking fdd2bdd floating_point_arithmetic snf induction breakpoint simulation zdd curriculum_change fdd2zdd predicate_logic dynamic_scheduling cmd b_complement_multiplication constrain-algorithm compose-algorithm #parallel_computing minic i2sc format robdd acceptance curriculum_update basic_block_scheduling unit-tests finroc sche ddd2zdd zdd2bdd vrs_cheatsheet hrs infinite_path branch-bound pre-requisite thesis functional state-machine uml-diagram embedded-system ml1 registration pipeline_conflicts vector_computers actiontable modulo_scheduling static_scheduling organisation lo1 conditional #pram restrict ite programming compiler abacus scheduling parallel forall notation shannon important predecessors fdd

Categories

Clarification on Exercise Deadline Schedule

0 votes

Hi,

Regarding the course Verification of Reactive Systems(MSc),

I wanted to double-check the exercise schedule. As I recall, we were told there would be a 2-week deadline for this week's exercise due to Monday's national holiday, with regular deadlines resuming next week. Could you confirm if this is still the plan or if there have been any updates to the schedule?

Thanks!

in # Study-Organisation (Master) by (170 points)

1 Answer

+1 vote
This is correct. The new sheet (sheet 6) will be uploaded in a few minutes with the deadline being sunday the 22th of june. The following sheet (sheet 7) will be uploaded next monday as usual and will also have the same deadline (i.e. one week after its release).
by (3.5k points)

Related questions

0 votes
1 answer
Restrict Algorithm Exercise Sheet 3
asked Aug 12, 2022 in # Study-Organisation (Master) by yk (2.7k points)
0 votes
1 answer
Mu Calculus - clarification
asked Aug 26, 2022 in * TF "Emb. Sys. and Rob." by ln (1k points)
0 votes
1 answer
Clarification - Constrain
asked Aug 24, 2022 in * TF "Emb. Sys. and Rob." by ln (1k points)
0 votes
1 answer
ITE algorithm - clarification
asked Aug 22, 2022 in * TF "Emb. Sys. and Rob." by ln (1k points)
 | Snow Theme by Q2A Market
Powered by Question2Answer
Imprint | Privacy Policy
...