A Specification Language for Robots with Sensors in Nondeterministic, Concurrent, and Ramifying Environments
CITATION STYLE
Thielscher, M. (1998). Introduction To The Fluent Calculus. Electronic Transactions on AI, 2(14), 197–192. Retrieved from http://cgi.cse.unsw.edu.au/~mit/Papers/ETAI98.pdf
Mendeley helps you to discover research relevant for your work.