Top Tweets for #Formal_methods

Sensors MDPI @Sensors_MDPI

about 1 year ago

Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications https://t.co/5pLSmdqdTY #deep_learning #formal_methods

Sensors_MDPI's tweet photo. Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications
https://t.co/5pLSmdqdTY
#deep_learning #formal_methods https://t.co/n8q2rORbQn

0

2

0

0

66

over 1 year ago

PhD Opportunities in Computer Science (Fully Funded) @raise_research To read the full job description and apply, see link in the thread! #computer_science #formal_methods #model_driven_development #software_engineering #ScienceJobs

1

2

0

0

546

Federico Ponzi @federico_ponzi

almost 3 years ago

I've just published another article on TLA+: https://t.co/DalARJpN0L I described my model for the Wolf, Goat and Cabbage problem (https://t.co/28rJP11iqn) in TLA+. Let me know what you think! #tla_plus #formal_methods

0

16

3

7

2K

José A. Alonso @Jose_A_Alonso

over 4 years ago

Proof-oriented domain-specific language design for high-assurance software. ~ Denis Merigoux (@DMerigoux). https://t.co/XHgmhgg088 #PhD_Thesis #Programme_verification #Formal_methods

0

5

1

0

0

over 6 years ago

諸事情で形式手法に興味を持ち出した年頃なので嬉しい。セマンティクス、型、モデル検査があるらしい。検証対象に分散シス��ムも含まれるのを知れたのが嬉しい。#情報収集 #formal_methods 形式手法のこれまでとこれから - ヾﾉ*＞ㅅ＜)ﾉｼ帳 https://t.co/30fBJMtPur

1

15

3

3

0

José A. Alonso @Jose_A_Alonso

almost 9 years ago

Formal methods during the programming phase. ~ R.F. Paige et als. https://t.co/usiIFPUikU #Formal_methods

0

1

0

0

0

José A. Alonso @Jose_A_Alonso

about 10 years ago

Assurance in the internet of things and for automated driving. ~ J. Rushby https://t.co/7dY4FuItSf #Formal_methods #IoT

0

3

1

0

0

José A. Alonso @Jose_A_Alonso

about 10 years ago

Formal models for human-machine interactions. ~ J. Rushby https://t.co/64zZ2HCFua #Formal_methods

0

1

0

0

0

José A. Alonso @Jose_A_Alonso

about 10 years ago

Assurance and formal methods. ~ J. Rushby https://t.co/XBP2TgzTCL #Formal_methods

0

1

2

0

0

José A. Alonso @Jose_A_Alonso

over 11 years ago

40 Years of formal methods (Some obstacles and some possibilities). ~ D. Bjørner & K. Havelund http://t.co/D62FAbodRh #Formal_methods

0

7

3

0

0

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users