Software-based optimization of channel utilization in cognitive radio networks using priced timed automata.

Tolga Ovatman Berk Canberk

Published in: SpringSim (ANSS) (2012)

Keyphrases

cognitive radio networks
spectrum sensing
timed automata
channel allocation
cognitive radio
model checking
software systems
theorem prover
wireless communication
real time systems
user centric
computer systems
cellular networks
real time
end to end
first order logic
power allocation
machine learning