Studies in Computational Intelligence

A Temporal Logic Approach

By: Wojciech Penczek, Agata PÃ³lrola

Write A Review

Hardcover | 26 June 2006

At a Glance

Hardcover
292 Pages

Dimensions(cm)
23.5 x 15.24 x 1.27

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Discrete Mathematics Applied Mathematics Computing & I.T.Computer Science Artificial Intelligence Engineering & Technology Technology in General Engineering in General Mathematical Foundation

Petri nets with time	p. 3
Times automata	p. 29
From time Petri nets to timed automata	p. 51
Main formalisms for expressing temporal properties	p. 63
Abstract models	p. 89
Explicit verification	p. 155
Verification based on satisfiability checking	p. 181
Table of Contents provided by Blackwell. All Rights Reserved.

Studies in Computational Intelligence

A Temporal Logic Approach

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

God AI

Boom or Doom? What to Expect When Machines Outsmart Us

The Reverse Centaur's Guide to Life After AI

How to Think About Artificial Intelligence Before It's Too Late

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Empire of AI

Inside the reckless race for total domination

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Co-Intelligence

Living and Working with AI

Practical Multi-Agent AI Systems

How to Architect, Build, and Scale Next-Generation AI Systems That Work in the Real World

NextGen Strategies and Tools

Pioneering Innovations in Agriculture

AI Theism

Technology, Divinity, and the Emergence of a New Religious Myth

Sentiment Analysis in NLP

Techniques, Applications, and Future Directions

Modeling of the Whole Lifecycle Dioxins for Municipal Solid Waste Incineration

Numerical Simulation and AI-Driven Method

Artificial Intelligence Methods and Applications Enabling Healthcare 5.0

Demystifying Technologies for Computational Excellence

Game AI Uncovered Focus

Character AI

Game AI Uncovered Focus

Character AI

Nigerian Media's Artificial Intelligence Revolution

Transforming Communication Teaching and Practice

Artificially Yours

Real Friendship in a World of Chatbots

Emissaries Guide to Worlding

AI for Public Relations

A How-To Guide for Implementation and Management

WORLDING

A Guide for Creators in Changing Times

Aquaculture with Artificial Intelligence

Emerging Technologies for Sustainable Industry Development

Claude For Dummies

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

This product is categorised by