tbohne
commented
2 years ago - concatenation a.pi pi.a pi.pi' pi'.pi
- "plan gen" as first section in chapter 3? to be able to talk about it in precise notation..
work through chapter 3 with these thoughts in mind..
plans and actions in set notation etc. as defined in GNT (xi)- also concatenation of action and plans in section where action needs to be appended etc. (in the
userdata) plans are pi etc.introduce variables for action executio duration and timelimit- then argue t_dur > t_lim -> failure
- temporal constraints
- user defined t_lim element of N seconds