453 search results - page 38 / 91 » Using Symbolic Simulation for Bounded Property Checking |
SPIN
2007
Springer
14 years 2 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
PIMRC
2010
IEEE
13 years 6 months ago
2010
IEEE
The exact expressions for symbol error probability and outage probability of randomized distributed space-time codes (RDSTC) under Rayleigh fading are derived. The diversity gain d...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
A subspace based blind method is proposed for estimating the channel responses of a multi-user and multi-antenna OFDM uplink system. It gives estimations to all channel responses,...
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
IFM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...