Optimal Dynamic Control of Resources in a Distributed System
IEEE Transactions on Software Engineering
Object Delineation in Noisy Images by a Modified Policy-Iteration Method
IEEE Transactions on Pattern Analysis and Machine Intelligence
IEEE/ACM Transactions on Networking (TON)
Distinguishing tests for nondeterministic and probabilistic machines
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Bounding errors introduced by clustering of customers in closed product-form queuing networks
Journal of the ACM (JACM)
Policy optimization for dynamic power management
DAC '98 Proceedings of the 35th annual Design Automation Conference
A probabilistic poly-time framework for protocol analysis
CCS '98 Proceedings of the 5th ACM conference on Computer and communications security
An Approach to Program Behavior Modeling and Optimal Memory Control
Journal of the ACM (JACM)
Handoff and optimal channel assignment in wireless networks
Mobile Networks and Applications - Dial m for mobility: discrete algorithms and methods for mobile computing and communication
Process algebra for performance evaluation
Theoretical Computer Science
Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
General distributions in process algebra
Lectures on formal methods and performance analysis
Quantitative program logic and expected time bounds in probabilistic distributed algorithms
Theoretical Computer Science
Optimal resource allocation in multi-class networks with user-specified utility functions
Computer Networks: The International Journal of Computer and Telecommunications Networking
A Microeconomic View of Data Mining
Data Mining and Knowledge Discovery
Call Admission: A New Approach to Quality of Service
Queueing Systems: Theory and Applications
Dynamic Network Construction and Updating Techniques for the Diagnosis of Acute Abdominal Pain
IEEE Transactions on Pattern Analysis and Machine Intelligence
Performance evaluation with temporal rewards
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
IEEE Transactions on Software Engineering
Optimal Caching Policies for Web Objects
HPCN Europe 2001 Proceedings of the 9th International Conference on High-Performance Computing and Networking
Coin Lemmas with Random Variables
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Possibilistic and Probabilistic Abstraction-Based Model Checking
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Computing Minimum and Maximum Reachability Times in Probabilistic Systems
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Compositional Methods for Probabilistic Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Optimal Allocation Policies for Mobile Agents
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Probabilistic cluster unfoldings
Fundamenta Informaticae
Dynamic schemes for speculative execution of code
Performance Evaluation
On Some Actual Problems of Estimating Risk in Complex Systems under Insufficient Information
Cybernetics and Systems Analysis
Optimal streaming of layered video: joint scheduling and error concealment
MULTIMEDIA '03 Proceedings of the eleventh ACM international conference on Multimedia
COMPUTING AVERAGE OPTIMAL CONSTRAINED POLICIES IN STOCHASTIC DYNAMIC PROGRAMMING
Probability in the Engineering and Informational Sciences
OPTIMALITY OF CONTROL LIMIT MAINTENANCE POLICIES UNDER NONSTATIONARY DETERIORATION
Probability in the Engineering and Informational Sciences
A Geometric Approach to Multi-Criterion Reinforcement Learning
The Journal of Machine Learning Research
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
Distributed Computing
Model checking for a probabilistic branching time logic with fairness
Distributed Computing
Wavelet density estimators over data streams
Proceedings of the 2005 ACM symposium on Applied computing
Code aware resource management
Proceedings of the 5th ACM international conference on Embedded software
Some Approaches to Solving Inventory Control Problems
Cybernetics and Systems Analysis
Mining Patterns That Respond to Actions
ICDM '05 Proceedings of the Fifth IEEE International Conference on Data Mining
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Optimal and adaptive testing with cost constraints
Proceedings of the 2006 international workshop on Automation of software test
Performance analysis of probabilistic timed automata using digital clocks
Formal Methods in System Design
An energy-optimal algorithm for neighbor discovery in wireless sensor networks
Mobile Networks and Applications
Combinatorial structure and randomized subexponential algorithms for infinite games
Theoretical Computer Science
A Real-World Stochastic Two-Person Game
Probability in the Engineering and Informational Sciences
Remarks on Testing Probabilistic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis of probabilistic contract signing
Journal of Computer Security
On the Empirical State-Action Frequencies in Markov Decision Processes Under General Policies
Mathematics of Operations Research
Symbolic model checking for probabilistic timed automata
Information and Computation
Fuzzy optimality relation for perceptive MDPs---the average case
Fuzzy Sets and Systems
Theoretical Computer Science
Controlled Markov chains, graphs, and Hamiltonicity
Foundations and Trends® in Stochastic Systems
Solving Simple Stochastic Games
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
A Simple P-Matrix Linear Complementarity Problem for Discounted Games
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Markov decision models for the optimal maintenance of a production unit with an upstream buffer
Computers and Operations Research
Termination criteria for solving concurrent safety and reachability games
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
Discounted deterministic Markov decision processes and discounted all-pairs shortest paths
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
Theoretical Computer Science
CONTROL'08 Proceedings of the 4th WSEAS/IASME international conference on Dynamical systems and control
Indefinite-horizon POMDPs with action-based termination
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Closed-loop learning of visual control policies
Journal of Artificial Intelligence Research
Reinforcement learning: a survey
Journal of Artificial Intelligence Research
Electronic Notes in Theoretical Computer Science (ENTCS)
Decomposition techniques for planning in stochastic domains
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The error exponent of variable-length codes over Markov channels with feedback
IEEE Transactions on Information Theory
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC
Electronic Notes in Theoretical Computer Science (ENTCS)
Discounted deterministic Markov decision processes and discounted all-pairs shortest paths
ACM Transactions on Algorithms (TALG)
Model checking lossy channels systems is probably decidable
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Discounting the future in systems theory
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Magnifying-lens abstraction for Markov decision processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Simple stochastic games with few random vertices are easy to solve
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Dynamic power management in cognitive radio networks based on constrained stochastic games
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
Opportunistic Fair Scheduling in Wireless Networks: An Approximate Dynamic Programming Approach
Mobile Networks and Applications
Adaptive modulation with smoothed flow utility
EURASIP Journal on Wireless Communications and Networking
Subexponential lower bounds for randomized pivoting rules for the simplex algorithm
Proceedings of the forty-third annual ACM symposium on Theory of computing
On strategy improvement algorithms for simple stochastic games
Journal of Discrete Algorithms
A subexponential lower bound for Zadeh's pivoting rule for solving linear programs and games
IPCO'11 Proceedings of the 15th international conference on Integer programming and combinatoral optimization
Performance model checking scenario-aware dataflow
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
On the complexity of solving Markov decision problems
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
High level path planning with uncertainty
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Towards automated proof support for probabilistic distributed systems
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Perceptive evaluation for the optimal discounted reward in markov decision processes
MDAI'05 Proceedings of the Second international conference on Modeling Decisions for Artificial Intelligence
Optimal access control for an integrated voice/data CDMA system
HiPC'04 Proceedings of the 11th international conference on High Performance Computing
Splitting Randomized Stationary Policies in Total-Reward Markov Decision Processes
Mathematics of Operations Research
Probability and nondeterminism in operational models of concurrency
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
On strategy improvement algorithms for simple stochastic games
CIAC'10 Proceedings of the 7th international conference on Algorithms and Complexity
Timed automata approach to verification of systems with degradation
MEMICS'11 Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science
Brief paper: Stochastic control of paging in a two-level computer memory
Automatica (Journal of IFAC)
Adaptive control of constrained finite Markov chains
Automatica (Journal of IFAC)
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Robustness of structurally equivalent concurrent parity games
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Calibration interval determination as a Markovian decision process
Mathematical and Computer Modelling: An International Journal
On some algorithms for limiting average Markov decision processes
Operations Research Letters
Fast convergence to state-action frequency polytopes for MDPs
Operations Research Letters
On polynomial cases of the unichain classification problem for Markov Decision Processes
Operations Research Letters
Structural properties of optimal tool replacement policy in a machining center
Operations Research Letters
Estimating the value of a discounted reward process
Operations Research Letters
On the block upper-triangularity of undiscounted multi-chain markov decision problems
Operations Research Letters
Percentiles and markovian decision processes
Operations Research Letters
Operations Research Letters
Communicating MDPs: Equivalence and LP properties
Operations Research Letters
Cross-Layer Power Allocation for Packet Transmission Over Fading Channel
Wireless Personal Communications: An International Journal
Probabilistic Cluster Unfoldings
Fundamenta Informaticae
Approximate verification and enumeration problems
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Code aware resource management
Formal Methods in System Design
Alternation-Trading Proofs, Linear Programming, and Lower Bounds
ACM Transactions on Computation Theory (TOCT)
| Hi-index | 0.07 |