Placeholder text
Automated Technology for Verification and Analysis
0 - Default Title
Description
The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal logic; games and controller synthesis; monitoring and runtime verification; probabilistic verification and quantum computing; learning; hybrid and dynamical systems; and verification.
Product details
Binding:
Paperback
Number of Pages:
492
Release Date:
2025-10-26
Publication Date:
2025-10-26
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3032087066
ISBN13:
9783032087065
GPSR Manufacturer Reference:
Weight:
739 g
Height:
155 cm
Width:
235 cm
Thickness:
27 cm
Currently sold out