Florian Benedikt Krebs

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Concurrent Systems

Programmable Logic

Top Venues

Publications

Roland Glück, Florian Benedikt Krebs
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV. RAMiCS (2015)
Martin Eric Müller, Florian Benedikt Krebs, Ferry Hielscher
Relational cognitive structures for intelligent agent and robot control. SMC (2008)