|
|
|
|
| LEADER |
00000nam a22000003i 4500 |
| 001 |
ebs372644e |
| 003 |
EBZ |
| 006 |
m o d |||||| |
| 007 |
cr|unu|||||||| |
| 008 |
100301s2007 gw | o |||| 0|eng d |
| 020 |
|
|
|z 9783540741275
|
| 020 |
|
|
|z 9783540842057
|
| 020 |
|
|
|a 9781281353436 (online)
|
| 020 |
|
|
|a 9783540741282 (online)
|
| 035 |
|
|
|a (EBZ)ebs372644e
|
| 040 |
|
|
|d EBZ
|
| 042 |
|
|
|a msc
|
| 050 |
|
4 |
|a Q334-342
|
| 050 |
|
4 |
|a TA347.A78
|
| 245 |
1 |
0 |
|a Model Checking and Artificial Intelligence
|h [electronic resource]
|b 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
|c edited by Stefan Edelkamp, Alessio Lomuscio.
|
| 250 |
|
|
|a 1st ed. 2007.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2007.
|
| 490 |
1 |
|
|a Lecture Notes in Artificial Intelligence,
|x 2945-9141 ;
|v 4428
|
| 505 |
0 |
|
|a A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis -- Verifying Space and Time Requirements for Resource-Bounded Agents -- Automated Creation of Pattern Database Search Heuristics -- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL -- Real-Time Model Checking on Secondary Storage -- Checking Liveness Properties of Concurrent Systems by Reinforcement Learning -- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation -- Symbolic Model Checking of Logics with Actions -- A Framework for Model Checking Institutions -- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata -- Distributed Extended Beam Search for Quantitative Model Checking.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Machine theory.
|
| 700 |
1 |
|
|a Edelkamp, Stefan.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Lomuscio, Alessio.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer English/International eBooks 2007 - Full Set
|d Springer Nature
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783540842057
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783540741275
|
| 776 |
1 |
|
|t Model Checking and Artificial Intelligence
|
| 830 |
|
0 |
|a Lecture Notes in Artificial Intelligence,
|x 2945-9141 ;
|v 4428
|
| 856 |
4 |
0 |
|y Access Content Online(from Springer English/International eBooks 2007 - Full Set)
|u https://ezproxy.msu.edu/login?url=https://link.springer.com/10.1007/978-3-540-74128-2
|z Springer English/International eBooks 2007 - Full Set: 2007
|
