Pettersson, Paul.
Overview
Works: | 3 works in 1 publications in 1 languages |
---|
Titles
Formal Modeling and Analysis of Timed Systems :Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by:
(1998 :); Pettersson, Paul.; SpringerLink (Online service); Yi, Wang
(Electronic resources)
Confessions of an AI brain
by:
Fersman, Elena.; Karapantelakis, Athanasios.; Pettersson, Paul.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Artificial intelligence
Automata
Logics and Meanings of Programs.
Thought and thinkingxData processing.
Robotics.
Ethics of Technology.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer simulation
Artificial Intelligence.
Control, Robotics, Automation.
Computer Science.
Computers and Society.
Temporal automata