E-LIB Suche - Ergebnisse für: Chmelík, Martin

1

Temporal logic control for stochastic linear systems using ..:

Svoreňová, Mária ; Křetínský, Jan ; Chmelík, Martin...
Nonlinear Analysis: Hybrid Systems. 23 (2017) - p. 230-253 , 2017

Link: https://doi.org/10.1016/..

2

What is decidable about partially observable Markov decisio..:

Chatterjee, Krishnendu ; Chmelík, Martin ; Tracol, Mathieu
Journal of Computer and System Sciences. 82 (2016) 5 - p. 878-911 , 2016

Link: https://doi.org/10.1016/..

3

Stochastic Shortest Path with Energy Constraints in POMDPs ..:

, In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,

Brázdil, Tomáš ; Chatterjee, Krishnendu ; Chmelík, Martin.. - p. 1465-1466 , 2016

Link: https://dl.acm.org/doi/1..

4

Optimal cost almost-sure reachability in POMDPs:

Chatterjee, Krishnendu ; Chmelík, Martin ; Gupta, Raghav.
Artificial Intelligence. 234 (2016) - p. 26-48 , 2016

Link: https://doi.org/10.1016/..

5

Scheduling Real-Time Communication in IEEE 802.1Qbv Time Se..:

, In: Proceedings of the 24th International Conference on Real-Time Networks and Systems,

Craciunas, Silviu S. ; Oliver, Ramon Serna ; Chmelík, Martin. - p. 183-192 , 2016

Link: https://dl.acm.org/doi/1..

6

Temporal logic control for stochastic linear systems using ..:

, In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control,

Svoreňová, Mária ; Křetínský, Jan ; Chmelík, Martin... - p. 259-268 , 2015

Link: https://dl.acm.org/doi/1..

7

CEGAR for compositional analysis of qualitative properties ..:

Chatterjee, Krishnendu ; Chmelík, Martin ; Daca, Przemysław
Formal Methods in System Design. 47 (2015) 2 - p. 230-264 , 2015

Link: https://doi.org/10.1007/..

8

Efficient Strategies for Calculating Blockwise Likelihoods ..:

Lohse, Konrad ; Chmelik, Martin ; Martin, Simon H.
Genetics. 202 (2015) 2 - p. 775-786 , 2015

Link: https://doi.org/10.1534/..

9

Temporal logic motion planning using POMDPs with parity obj..:

, In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control,

Svoreňová, Mária ; Chmelík, Martin ; Leahy, Kevin... - p. 233-238 , 2015

Link: https://dl.acm.org/doi/1..

10

POMDPs under probabilistic semantics:

Chatterjee, Krishnendu ; Chmelík, Martin
Artificial Intelligence. 221 (2015) - p. 46-72 , 2015

Link: https://doi.org/10.1016/..

11

Interface simulation distances:

Černý, Pavol ; Chmelík, Martin ; Henzinger, Thomas A..
Theoretical Computer Science. 560 (2014) - p. 348-363 , 2014

Link: https://doi.org/10.1016/..

12

Sensor Synthesis for POMDPs with Reachability Objectives:

Chatterjee, Krishnendu ; Chmelik, Martin ; Topcu, Ufuk
http://arxiv.org/abs/1710.00675. , 2017

Link: http://arxiv.org/abs/171..

13

Temporal logic control for stochastic linear systems using ..:

Svoreňová, Mária ; Kretinsky, Jan ; Chmelik, Martin...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.nahs.2016.04.006. , 2017

Link: https://research-explore..

14

Optimal cost almost-sure reachability in POMDPs:

Chatterjee, Krishnendu ; Chmelik, Martin ; Gupta, Raghav.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.artint.2016.01.007. , 2016

Link: https://research-explore..

15

Efficient Strategies for Calculating Blockwise Likelihoods ..:

Lohse, Konrad ; Chmelik, Martin ; Martin, Simon H.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4788249/. , 2016

Link: http://www.ncbi.nlm.nih...