The C31 parallel benchmark suite - introduction and preliminary results
Supercomputing '96 Proceedings of the 1996 ACM/IEEE conference on Supercomputing
Computing Minimum and Maximum Reachability Times in Probabilistic Systems
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Dynamic shortest path in stochastic dynamic networks
Iranian Journal of Science and Technology - Material & industrial engineering
Mathematics of Operations Research
Policy iteration type algorithms for recurrent state Markov decision processes
Computers and Operations Research
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
Theoretical Computer Science
Design of a peer-to-peer system for optimized content replication
Computer Communications
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Risk-sensitive planning with one-switch utility functions: value iteration
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Indefinite-horizon POMDPs with action-based termination
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
ADT '09 Proceedings of the 1st International Conference on Algorithmic Decision Theory
Wardrop Equilibria with Risk-Averse Users
Transportation Science
Ant colony optimization for stochastic shortest path problems
Proceedings of the 12th annual conference on Genetic and evolutionary computation
A game-based abstraction-refinement framework for Markov decision processes
Formal Methods in System Design
A formal language toward the unification of model checking and performance evaluation
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Towards analysis of semi-Markov decision processes
AICI'10 Proceedings of the 2010 international conference on Artificial intelligence and computational intelligence: Part I
Teaching randomized learners with feedback
Information and Computation
IEEE/ACM Transactions on Networking (TON)
Efficient solutions to factored MDPs with imprecise transition probabilities
Artificial Intelligence
Dynamic routing under recurrent and non-recurrent congestion using real-time ITS information
Computers and Operations Research
International Journal of Approximate Reasoning
Computers and Industrial Engineering
SAGT'11 Proceedings of the 4th international conference on Algorithmic game theory
On the complexity of time-dependent shortest paths
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
DISC'06 Proceedings of the 20th international conference on Distributed Computing
Brief On terminating Markov decision processes with a risk-averse objective function
Automatica (Journal of IFAC)
Quantitative timed analysis of interactive markov chains
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
SPAR: stochastic programming with adversarial recourse
Operations Research Letters
On an exact method for the constrained shortest path problem
Computers and Operations Research
Polynomial-Time approximation schemes for shortest path with alternatives
ESA'12 Proceedings of the 20th Annual European conference on Algorithms
Compositional abstraction techniques for probabilistic automata
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Shortest stochastic path with risk sensitive evaluation
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Finding objects through stochastic shortest path problems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
On Boundedness of Q-Learning Iterates for Stochastic Shortest Path Problems
Mathematics of Operations Research
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Modelling, reduction and analysis of markov automata
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Dynamic shortest path problems: Hybrid routing policies considering network disruptions
Computers and Operations Research
| Hi-index | 0.01 |