E-LIB Suche - Ergebnisse für: Češka, Milan

1

Deductive Controller Synthesis for Probabilistic Hyperprope..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan.. - p. 288-306 , 2023

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

2

Search and Explore: Symbiotic Policy Synthesis in POMDPs:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Andriushchenko, Roman ; Bork, Alexander ; Češka, Milan... - p. 113-135 , 2023

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

3

Designing Approximate Arithmetic Circuits with Combined Err..:

, In: 2022 25th Euromicro Conference on Digital System Design (DSD),

Ceska, Milan ; Matyas, Jiri ; Mrazek, Vojtech. - p. 785-792 , 2022

Link: https://doi.org/10.1109/..

4

Abstraction-Based Segmental Simulation of Chemical Reaction..:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Helfrich, Martin ; Češka, Milan ; Křetínský, Jan. - p. 41-60 , 2022

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

5

SagTree: Towards efficient mutation in evolutionary circuit..:

Češka, Milan ; Matyáš, Jiří ; Mrázek, Vojtěch...
Swarm and Evolutionary Computation. 69 (2022) - p. 100986 , 2022

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

6

GPU-Accelerated Synthesis of Probabilistic Programs:

, In: Computer Aided Systems Theory – EUROCAST 2022; Lecture Notes in Computer Science,

Andriushchenko, Roman ; Češka, Milan ; Marcin, Vladimír. - p. 258-266 , 2022

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

7

Inductive Synthesis for Probabilistic Programs Reaches New ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Andriushchenko, Roman ; Češka, Milan ; Junges, Sebastian. - p. 191-209 , 2021

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

8

Adaptive formal approximations of Markov chains:

Abate, Alessandro ; Andriushchenko, Roman ; Češka, Milan.
Performance Evaluation. 148 (2021) - p. 102207 , 2021

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

9

Counterexample-guided inductive synthesis for probabilistic..:

Češka, Milan ; Hensel, Christian ; Junges, Sebastian.
Formal Aspects of Computing. 33 (2021) 4-5 - p. 637-667 , 2021

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

10

PAYNT: A Tool for Inductive Synthesis of Probabilistic Prog..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Andriushchenko, Roman ; Češka, Milan ; Junges, Sebastian.. - p. 856-869 , 2021

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

11

Satisfiability Solving Meets Evolutionary Optimisation in D..:

, In: Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science,

Češka, Milan ; Matyáš, Jiří ; Mrazek, Vojtech. - p. 481-491 , 2020

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

12

Adaptive verifiability-driven strategy for evolutionary app..:

Češka, Milan ; Matyáš, Jiří ; Mrazek, Vojtech...
Applied Soft Computing. 95 (2020) - p. 106466 , 2020

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

13

Approximating Complex Arithmetic Circuits with Guaranteed W..:

, In: Computer Aided Systems Theory – EUROCAST 2019; Lecture Notes in Computer Science,

Češka, Milan ; Češka, Milan ; Matyáš, Jiří.. - p. 482-490 , 2020

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

14

SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Češka, Milan ; Chau, Calvin ; Křetínský, Jan - p. 653-666 , 2020

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

15

Approximate reduction of finite automata for high-speed net..:

Češka, Milan ; Havlena, Vojtěch ; Holík, Lukáš..
International Journal on Software Tools for Technology Transfer. 22 (2019) 5 - p. 523-539 , 2019

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