Challenges of the Reachability Problem in Infinite-State Systems (Invited Paper).

Wojciech Czerwinski

Published in: MFCS (2024)

Keyphrases

invited paper
real world
management system
lessons learned
key issues
interactive systems
ubiquitous and pervasive
information systems
building blocks
learning systems
artificial intelligence
case study
state space