32906 articles – 26198 Notices  [english version]
.:. Consultation > Par auteur > Akshay .:.
6 documents classés par :

fulltext access Sessions with an unbounded number of agents
Akshay S., Helouet L., Mukund M.
(15/04/2014) [hal-00979409 - version 1]
Approximate Verification of the Symbolic Dynamics of Markov Chains
Agrawal M., Akshay S., Genest B., Thiagarajan P.S.
Journal of the ACM (JACM) (2014) accepted [hal-00920793 - version 1]
fulltext access Implementing Realistic Asynchronous Automata
Akshay S., Dinca I., Genest B., Stefanescu A.
Dans IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013 (2013) 213-224 [hal-00920776 - version 1]
fulltext access The steady-state control problem for Markov decision processes
Akshay S., Bertrand N., Haddad S., Helouet L.
Dans Qest 2013 8054 (2013) 290-304 [hal-00879355 - version 1]
Event-clock Message Passing Automata: A logical characterization and an emptiness checking algorithm
Akshay S., Bollig B., Gastin P.
Formal Methods in System Design 42, 3 (2013) 262-300 [hal-00925745 - version 1]
fulltext access A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways
Palaniappan S. K., Akshay S., Genest B., Thiagarajan P.S.
In 9th International Conference on Computational Methods in Systems Biology (2011) 35-44 [hal-00672872 - version 1]