issues
search
KTH-SML
/
ltl_automaton_core
7
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Switch to faster graph library
#26
RBinsonB
opened
3 years ago
0
Timestamp check
#25
RBinsonB
closed
3 years ago
0
External LTL2BA build
#24
RBinsonB
closed
3 years ago
0
Fix multidim ts
#23
RBinsonB
closed
3 years ago
0
LTL2BA needs to be recompiled for different CPU architectures
#22
RBinsonB
closed
3 years ago
1
Guard is not computed properly for TS with more than 2 subspaces
#21
RBinsonB
closed
3 years ago
1
Cells should not be connected
#20
RBinsonB
closed
3 years ago
1
Error if prefix plan is empty
#19
PVarnai
closed
3 years ago
1
Access request to station
#18
RBinsonB
closed
3 years ago
0
Cannot construct transition system if a state does not have actions associated to it
#17
PVarnai
closed
3 years ago
1
One-dimensional state not recognized by planner node
#16
RBinsonB
closed
3 years ago
2
Error changing TS state
#15
PVarnai
closed
3 years ago
1
Being able to prohibit actions from states in mixed TS
#14
RBinsonB
closed
3 years ago
2
TS: Being able to limit actions to some states
#13
RBinsonB
closed
3 years ago
1
If initial TS state from agent, initial state received twice
#12
RBinsonB
closed
3 years ago
2
Initial TS state from agent
#11
RBinsonB
closed
3 years ago
1
Plugin for main planner
#10
RBinsonB
closed
3 years ago
0
Repeating TS states accepted on parameter in planner
#9
RBinsonB
closed
3 years ago
1
Replanning when receiving unplanned state
#8
RBinsonB
closed
3 years ago
1
Replanning at new suffix execution
#7
RBinsonB
closed
3 years ago
1
Publish plan and states
#6
RBinsonB
closed
3 years ago
1
Self-loop in TS
#5
RBinsonB
closed
3 years ago
4
All states are trap
#4
RBinsonB
closed
3 years ago
1
Bug when using TS state of 1 dimension
#3
RBinsonB
closed
3 years ago
3
After IRL, the planner replans again even if its published next move is followed
#2
PVarnai
closed
3 years ago
2
Possibly optimize IRL
#1
PVarnai
opened
3 years ago
0