Get Free Shipping on orders over $49
Studies in Computational Intelligence : A Temporal Logic Approach - Wojciech Penczek

Studies in Computational Intelligence

A Temporal Logic Approach

By: Wojciech Penczek, Agata Pólrola

Hardcover | 26 June 2006

At a Glance

Hardcover


$249.00

or 4 interest-free payments of $62.25 with

 or 

Ships in 5 to 7 business days

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.

More in Artificial Intelligence

Empire of AI : Inside the reckless race for total domination - Karen Hao
How We Learn : The New Science of Education and the Brain - Stanislas Dehaene
Co-Intelligence : Living and Working with AI - Ethan Mollick

RRP $36.99

$29.75

20%
OFF
Artificial Intelligence : A Modern Approach, 4th Global Edition - Peter Norvig
Handbook of Intelligent Robots : Theory, Methods and Applications - Humberto Sossa-Azuela