Pre-orders for reasoning about stability.

Pavithra Prabhakar Geir E. Dullerud Mahesh Viswanathan

Published in: HSCC (2012)

Keyphrases

databases
spatial reasoning
qualitative reasoning
real time
genetic algorithm
artificial intelligence
mobile robot
stability analysis
rational agents
asymptotic stability