×

Found 615 Documents (Results 1–100)

Interval Markov decision processes with continuous action-spaces. (English) Zbl 07807953

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 12, 10 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Distributionally robust strategy synthesis for switched stochastic systems. (English) Zbl 07807952

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 11, 10 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Mixed integer linear programming approach for control synthesis with weighted signal temporal logic. (English) Zbl 07807944

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 3, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

From polynomial invariants to linear loops. (English) Zbl 07760785

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 398-406 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Algebra-based loop analysis. (English) Zbl 07760745

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 41-42 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Controller synthesis for nonlinear stochastic games via approximate probabilistic relations. (English) Zbl 07807733

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 2 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

ABS: a formally correct software tool for space-efficient symbolic synthesis. (English) Zbl 07807727

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 19, 10 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

A simpler alternative: minimizing transition systems modulo alternating simulation equivalence. (English) Zbl 07807715

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 7, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

A framework for transforming specifications in reinforcement learning. (English) Zbl 07724876

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 604-624 (2022).
MSC:  68Q60 68T05 90C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automatic generation of verified concurrent hardware using VHDL. (English) Zbl 07724796

Lima, Lucas (ed.) et al., Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13768, 55-72 (2022).
MSC:  68N15 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Synthesis of parametric hybrid automata from time series. (English) Zbl 1522.68318

Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 337-353 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Data-driven numerical invariant synthesis with automatic generation of attributes. (English) Zbl 1514.68124

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 282-303 (2022).
MSC:  68Q60 68N30 68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

OmegaThreads: symbolic controller design for \(\omega\)-regular objectives. (English) Zbl 07807706

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 33, 2 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

OmegaThreads: symbolic controller design for \(\omega\)-regular objectives. (English) Zbl 07807698

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 7 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

AROC: a toolbox for automated reachset optimal controller synthesis. (English) Zbl 07807696

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 23, 6 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Learning Lyapunov functions for hybrid systems. (English) Zbl 07807686

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Strategy synthesis for partially-known switched stochastic systems. (English) Zbl 07807679

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 11 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Synthesis of hybrid automata with affine dynamics from time-series data. (English) Zbl 07807675

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 2, 11 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Synthesis of safe pointer-manipulating programs (Invited Talk). (English) Zbl 07699419

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 2, 1 p. (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Incorporating monitors in reactive synthesis without paying the price. (English) Zbl 1497.68284

Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 337-353 (2021).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

A formally verified cut-elimination procedure for linear nested sequents for tense logic. (English) Zbl 07532522

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 281-298 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Automatic generation and validation of instruction encoders and decoders. (English) Zbl 1493.68223

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 728-751 (2021).
MSC:  68Q60 68N30 68V15
PDFBibTeX XMLCite
Full Text: DOI

Efficient enumeration of regular expressions for faster regular expression synthesis. (English) Zbl 07495105

Maneth, Sebastian (ed.), Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12803, 65-76 (2021).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Syntax-guided synthesis for lemma generation in hardware model checking. (English) Zbl 1472.68096

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 325-349 (2021).
MSC:  68Q60 68M07
PDFBibTeX XMLCite
Full Text: DOI

Formal policy synthesis for continuous-state systems via reinforcement learning. (English) Zbl 1517.68243

Dongol, Brijesh (ed.) et al., Integrated formal methods. 16th international conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12546, 3-21 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Robust controller synthesis for duration calculus. (English) Zbl 1517.68230

Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 429-446 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Context-aware temporal logic for probabilistic systems. (English) Zbl 1517.68232

Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 215-232 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Continualization of probabilistic programs with correction. (English) Zbl 1508.68044

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 366-393 (2020).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

Automated and sound synthesis of Lyapunov functions with SMT solvers. (English) Zbl 1507.68335

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 97-114 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Learning safe neural network controllers with barrier certificates. (English) Zbl 1503.93022

Pang, Jun (ed.) et al., Dependable software engineering. Theories, tools, and applications. 6th international symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12153, 177-185 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Synthesizing imperative code from answer set programming specifications. (English) Zbl 1502.68075

Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 75-89 (2020).
MSC:  68N17 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Parameterized synthesis with safety properties. (English) Zbl 1476.68154

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 273-292 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. (English) Zbl 07300872

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 31, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Robust output feedback control with guaranteed constraint satisfaction. (English) Zbl 07300865

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 24, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

A simple hierarchy for computing controlled invariant sets. (English) Zbl 07300864

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 23, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Compositional synthesis via a convex parameterization of assume-guarantee contracts. (English) Zbl 07300857

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 16, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Poster abstract: StocHy – automated verification and synthesis of stochastic processes. (English) Zbl 07120162

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 258-259 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

pFaces: an acceleration ecosystem for symbolic control. (English) Zbl 07120161

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 252-257 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. (English) Zbl 07120160

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 240-251 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verification and synthesis of interconnected embedded control systems under timing contracts. (English) Zbl 07120156

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 208-217 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. (English) Zbl 07120154

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 185-196 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Controller synthesis made real: reach-avoid specifications and linear dynamics. (English) Zbl 1511.68151

Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 347-366 (2018).
MSC:  68Q60 93B50
PDFBibTeX XMLCite
Full Text: DOI

What’s hard about Boolean functional synthesis? (English) Zbl 1511.68146

Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 251-269 (2018).
MSC:  68Q60 68Q17 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Synthesizing optimally resilient controllers. (English) Zbl 07533359

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 34, 17 p. (2018).
MSC:  68N30 68Q60 91A80
PDFBibTeX XMLCite
Full Text: DOI

A decidable fragment of second order logic with applications to synthesis. (English) Zbl 07533356

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 31, 19 p. (2018).
MSC:  03B25 03B16 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

On runtime enforcement via suppressions. (English) Zbl 1520.68069

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 34, 17 p. (2018).
MSC:  68Q60 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software