The following pages link to Aleksandra Ž. Jovanović (Q955246):
Displaying 15 items.
- (Q517044) (redirect page) (← links)
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Geometric piecewise uniform lattice vector quantization of the memoryless Gaussian source (Q545385) (← links)
- Optimal companding vector quantization for circularly symmetric sources (Q955247) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
- Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata (Q2945592) (← links)
- Interrupt Timed Automata with Auxiliary Clocks and Parameters* (Q2968523) (← links)
- An iterative method for optimal resolution‐constrained polar quantizer design (Q3019405) (← links)
- Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions (Q3447704) (← links)
- (Q4640252) (← links)
- Control of Real-Time Systems With Integer Parameters (Q5033998) (← links)
- Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games (Q5166678) (← links)
- Parametric Interrupt Timed Automata (Q5168513) (← links)
- A game approach to the parametric control of real-time systems (Q5231423) (← links)
- Integer Parameter Synthesis for Timed Automata (Q5326340) (← links)
