821 followers
@ktokuo This textbook can be useful https://t.co/BXykRNs8TS
@ktokuo This textbook can be useful https://t.co/BXykRNs8TS
@hillelogram Similar to https://t.co/pYUgRIdV0B ?
Congrats, Moti Ben-Ari to the ACM Outstanding Educator Award! Discover his open access Elements of Robotics textbook, https://t.co/RBpRYUwrML, or textbook on Mathematical Logic for Computer Science, https://t.co/tBbjZ3ZBnC ... and more publications htt
@owickstrom Not free unfortunately but the last 4 chapters of this go over LTL and CTL https://t.co/9i7lYcHOwn. Please let me know if you find anything free!