Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
|
Buy Now
Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Paperback, 1st ed. 2021)
Loot Price: R1,919
Discovery Miles 19 190
|
|
Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Paperback, 1st ed. 2021)
Series: Lecture Notes in Computer Science, 13030
Expected to ship within 10 - 15 working days
|
This Festschrift, dedicated to Bengt Jonsson on the occasion of his
60th birthday, contains papers written by many of his friends and
collaborators.Bengt has made major contributions covering a wide
range of topics including verification and learning. His works on
verification, in finite state systems, learning, testing,
probabilistic systems, timed systems, and distributed systems
reflect both the diversity and the depth of his research. Besides
being an excellent scientist, Bengt is also a leader who has
greatly influenced the careers of both his students and his
colleagues. His main focus throughout his career has been in the
area of formal methods, and the research papers dedicated to him in
this volume address related topics, particularly related to model
checking, temporal logic, and automata learning.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.